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

Fix tests, add filter tests.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-19 12:41:06 -04:00
parent 8256f922f9
commit 1af866586e
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -566,8 +566,8 @@
;; instantiating non-dotted terms ;; instantiating non-dotted terms
[tc-e (inst (plambda: (a) ([x : a]) x) Integer) [tc-e (inst (plambda: (a) ([x : a]) x) Integer)
(-Integer . -> . -Integer)] (-Integer . -> . -Integer)]
[tc-e (inst (plambda: (a) [x : a *] (apply + x)) Integer) [tc-e (inst (plambda: (a) [x : a *] (apply list x)) Integer)
((list) -Integer . ->* . -Integer)] ((list) -Integer . ->* . (-lst -Integer))]
;; instantiating dotted terms ;; instantiating dotted terms
[tc-e (inst (plambda: (a ...) [xs : a ... a] 3) Integer Boolean Integer) [tc-e (inst (plambda: (a ...) [xs : a ... a] 3) Integer Boolean Integer)
@ -602,6 +602,12 @@
(add1 x) (add1 x)
12))] 12))]
[tc-e (filter integer? (list 1 2 3 'foo))
(-lst -Integer)]
[tc-e (filter even? (filter integer? (list 1 2 3 'foo)))
(-lst -Integer)]
#;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))]) #;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))])
(fact 20))] (fact 20))]