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

test fix

Browse Source 
svn: r13456
This commit is contained in:
Sam Tobin-Hochstadt 2009-02-05 15:05:59 +00:00
parent 4c161c12b7
commit 2b54135394
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
View File

@ -612,10 +612,10 @@
(add1 x) (add1 x)
12))] 12))]
[tc-e (filter integer? (list 1 2 3 'foo)) [tc-e (filter exact-integer? (list 1 2 3 'foo))
(-lst -Integer)] (-lst -Integer)]
[tc-e (filter even? (filter integer? (list 1 2 3 'foo))) [tc-e (filter even? (filter exact-integer? (list 1 2 3 'foo)))
(-lst -Integer)] (-lst -Integer)]
[tc-err (plambda: (a ...) [as : a ... a] [tc-err (plambda: (a ...) [as : a ... a]