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

Use pretty-printing for all TR REPL commands

Browse Source 
original commit: b5bc36391693baa1b1953f7860d2d0b0821e9830
This commit is contained in:
Asumu Takikawa 2014-01-21 18:52:45 -05:00
parent d720bcd2e5
commit 0dda32fb4a
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
View File

@ -61,7 +61,7 @@
[current-type-names
(if (attribute verbose-kw) '() (current-type-names))]
[current-print-unexpanded (box '())])
(define type (format "~a" (parse-type #'ty)))
(define type (pretty-format-type (parse-type #'ty)))
(define unexpanded
(remove-duplicates (unbox (current-print-unexpanded))))
(define cue (if (null? unexpanded)
@ -101,9 +101,9 @@
(op dummy-arg ...))
(λ (expanded type)
#`(display
#,(format "~a\n"
(match type
[(tc-result1: (and t (Function: _)) f o) t]))))))]
#,(pretty-format-type
(match type
[(tc-result1: (and t (Function: _)) f o) t]))))))]
[form
(raise-syntax-error #f "must be applied to at least one argument" #'form)]))
@ -122,7 +122,7 @@
[(Function: '())
"Desired return type not in the given function's range.\n"]
[(Function: arrs)
(format "~a\n" cleaned)])))]
(pretty-format-type cleaned)])))]
[_ (error (format "~a: not a function" (syntax->datum #'op)))]))))]
[form
(raise-syntax-error #f "must be applied to exactly two arguments" #'form)])))