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

Fix type printer test

Browse Source 
Forgot to change the test string for commit
b5bc363916
This commit is contained in:
Asumu Takikawa 2014-01-21 20:21:35 -05:00
parent b0213b7ebe
commit a1b79f0bd2
1 changed files with 19 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/type-printer-single-level.rkt
View File

@ -28,11 +28,23 @@
(string-append "(U Integer String)\n[can expand further: Integer]" (string-append "(U Integer String)\n[can expand further: Integer]"
"(Foo -> Foo)\n[can expand further: Foo]" "(Foo -> Foo)\n[can expand further: Foo]"
"(Number -> Integer)\n[can expand further: Integer Number]" "(Number -> Integer)\n[can expand further: Integer Number]"
"((U String 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte " "((U String\n"
"Positive-Fixnum-Not-Index Negative-Fixnum " " 0\n"
"Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum) " " 1\n"
"-> (U String 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte " " Byte-Larger-Than-One\n"
"Positive-Fixnum-Not-Index Negative-Fixnum " " Positive-Index-Not-Byte\n"
"Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum" " Positive-Fixnum-Not-Index\n"
"))\n")) " Negative-Fixnum\n"
" Positive-Integer-Not-Fixnum\n"
" Negative-Integer-Not-Fixnum)\n"
" ->\n"
" (U String\n"
" 0\n"
" 1\n"
" Byte-Larger-Than-One\n"
" Positive-Index-Not-Byte\n"
" Positive-Fixnum-Not-Index\n"
" Negative-Fixnum\n"
" Positive-Integer-Not-Fixnum\n"
" Negative-Integer-Not-Fixnum))\n"))