suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix debug printing mode for pretty-printed types

Browse Source 
Previously, pretty-printing for types would override the
debug mode by bypassing normal printing. Instead, switch
the `pretty-format-type` function to a debug version when
in debug mode.

original commit: 8ad0e6b52a260eea4329335d81f282802c2ae1ab
This commit is contained in:
Asumu Takikawa 2014-01-24 00:28:04 -05:00
parent 888d681ecb
commit 35b60ceacd
1 changed files with 21 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
View File

@ -20,13 +20,14 @@
#'(provide (rename-out [debug-printer print-type]
[debug-printer print-filter]
[debug-printer print-object]
[debug-printer print-pathelem]))
#'(provide print-type print-filter print-object print-pathelem)))
[debug-printer print-pathelem]
[debug-pretty-format-type pretty-format-type]))
#'(provide print-type print-filter print-object print-pathelem
pretty-format-type)))
(provide-printer)
(provide special-dots-printing? print-complex-filters?
current-print-type-fuel current-print-unexpanded
pretty-format-type)
current-print-type-fuel current-print-unexpanded)
;; do we attempt to find instantiations of polymorphic types to print?
@ -446,3 +447,19 @@
(define-debug-printer debug-printer)
;; debug-pretty-format-type : Type -> String
;; Debugging mode for pretty printing types, which just uses
;; the debug printer above. Ignores kw argument. Only defined
;; in debug printing mode.
(define-syntax (define-debug-pretty-format-type stx)
(syntax-parse stx
[(_ debug-pretty-format-type:id)
(if (eq? printer-type 'debug)
#'(define (debug-pretty-format-type type #:indent [indent 0])
(define out (open-output-string))
(debug-printer type out #t)
(get-output-string out))
#'(void))]))
(define-debug-pretty-format-type debug-pretty-format-type)