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

Fix type printing test.

Browse Source 
original commit: fab0d0f955e5bf17e21816146f1af6f9caeaf3b1
This commit is contained in:
Vincent St-Amour 2013-11-19 15:08:07 -05:00
parent 95c784c26a
commit dfc7a0b8d9
1 changed files with 1 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-test/tests/typed-racket/succeed/type-printer-single-level.rkt
View File

@ -25,7 +25,7 @@
(tr-eval '(:type #:verbose Bar))
(check-equal? (get-output-string out)
(string-append "(U Integer String)\n[can expand further: String Integer]"
(string-append "(U Integer String)\n[can expand further: Integer]"
"(Foo -> Foo)\n[can expand further: Foo]"
"(Number -> Integer)\n[can expand further: Integer Number]"
"((U String 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte "