suzanne.soy/typed-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
b5bc36391693baa1b1953f7860d2d0b0821e9830

original commit: a1b79f0bd225234dcf06b41a9ca0ef28353c02fb
This commit is contained in:
Asumu Takikawa 2014-01-21 20:21:35 -05:00
parent 223f4d8f6f
commit 0886c4f2a7
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]"
"(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 "
"Positive-Fixnum-Not-Index Negative-Fixnum "
"Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum) "
"-> (U String 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte "
"Positive-Fixnum-Not-Index Negative-Fixnum "
"Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum"
"))\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"
" ->\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"))