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

Fix printing of rest argument types in TR

Browse Source 
This was a regression that snuck in with pretty printing
This commit is contained in:
Asumu Takikawa 2014-02-04 16:18:06 -05:00
parent 5634ad75eb
commit 739f236da3
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -222,7 +222,7 @@
(format "~a ~a" k (type->sexp t)) (format "~a ~a" k (type->sexp t))
(format "[~a ~a]" k (type->sexp t)))])) (format "[~a ~a]" k (type->sexp t)))]))
(if rest (if rest
(list rest (if (special-dots-printing?) '...* '*)) (list (type->sexp rest) (if (special-dots-printing?) '...* '*))
null) null)
(if drest (if drest
(if (special-dots-printing?) (if (special-dots-printing?)

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/type-printer-tests.rkt
View File

@ -71,6 +71,9 @@
(check-prints-as? (-> -Input-Port (make-Values (list (-result -String (-FS -top -bot) -no-obj) (check-prints-as? (-> -Input-Port (make-Values (list (-result -String (-FS -top -bot) -no-obj)
(-result -String (-FS -top -bot) -no-obj)))) (-result -String (-FS -top -bot) -no-obj))))
"(Input-Port -> (values (String : (Top | Bot)) (String : (Top | Bot))))") "(Input-Port -> (values (String : (Top | Bot)) (String : (Top | Bot))))")
;; this case tests that the Number union is printed with its name
;; rather than its expansion (a former bug)
(check-prints-as? (->* '() -Number -Void) "(Number * -> Void)")
(check-prints-as? (->key Univ -Pathlike (check-prints-as? (->key Univ -Pathlike
#:exists #:exists
(one-of/c 'error 'append 'update 'replace (one-of/c 'error 'append 'update 'replace