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

Remove unnecessary printing parameter in TR

Browse Source 
Pretty printing makes this unnecessary

original commit: 872dbd6160c568f44a80f154f838b2c4a4c8f938
This commit is contained in:
Asumu Takikawa 2014-01-13 16:41:14 -05:00
parent b68b5bdd17
commit 2d99b93e3f
2 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -80,12 +80,11 @@
(tc-toplevel/full stx #'e
(λ (expanded type)
#`(display
#,(parameterize ([print-multi-line-case-> #t])
(pretty-format-type
(match type
[(tc-result1: t f o) t]
[(tc-results: t) (-values t)]
[(tc-any-results:) ManyUniv]))))))]
#,(pretty-format-type
(match type
[(tc-result1: t f o) t]
[(tc-results: t) (-values t)]
[(tc-any-results:) ManyUniv])))))]
[form
(raise-syntax-error #f "must be applied to exactly one argument" #'form)]))

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

@ -25,7 +25,7 @@
#'(provide print-type print-filter print-object print-pathelem)))
(provide-printer)
(provide print-multi-line-case-> special-dots-printing? print-complex-filters?
(provide special-dots-printing? print-complex-filters?
current-print-type-fuel current-print-unexpanded
pretty-format-type)
@ -36,7 +36,6 @@
;; do we use simple type aliases in printing
(define print-aliases #t)
(define print-multi-line-case-> (make-parameter #f))
(define special-dots-printing? (make-parameter #f))
(define print-complex-filters? (make-parameter #f))