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

Fix type printing test.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-11-19 15:08:07 -05:00
parent 8fae6ffecd
commit fab0d0f955
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 "