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

Fix more tests with truth info.

Browse Source 
svn: r14784
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-12 16:52:55 +00:00
parent e796cd802b
commit f24cbf9952
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -603,8 +603,8 @@
[tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list 1))) (-lst -Integer)] [tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list 1))) (-lst -Integer)]
[tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list "foo"))) (-lst (Un -String -Integer))] [tc-e (apply append (list 1) (list 2) (list 3) (list (list 1) (list "foo"))) (-lst (Un -String -Integer))]
[tc-err (plambda: (b ...) [y : b ... b] (apply append (map list y)))] [tc-err (plambda: (b ...) [y : b ... b] (apply append (map list y)))]
[tc-e (plambda: (b ...) [y : (Listof Integer) ... b] (apply append y)) [tc-e/t (plambda: (b ...) [y : (Listof Integer) ... b] (apply append y))
(-polydots (b) (->... (list) ((-lst -Integer) b) (-lst -Integer)))] (-polydots (b) (->... (list) ((-lst -Integer) b) (-lst -Integer)))]
[tc-err (plambda: (a ...) ([z : String] . [w : Number ... a]) [tc-err (plambda: (a ...) ([z : String] . [w : Number ... a])
(apply (plambda: (b) ([x : Number] . [y : Number ... a]) x) (apply (plambda: (b) ([x : Number] . [y : Number ... a]) x)
@ -627,13 +627,13 @@
((list) -Integer . ->* . (-lst -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/t (inst (plambda: (a ...) [xs : a ... a] 3) Integer Boolean Integer)
(-Integer B -Integer . -> . -Integer)] (-Integer B -Integer . -> . -Integer : (-LFS null (list (make-LBot))))]
[tc-e (inst (plambda: (a ...) [xs : (a ... a -> Integer) ... a] 3) Integer Boolean Integer) [tc-e/t (inst (plambda: (a ...) [xs : (a ... a -> Integer) ... a] 3) Integer Boolean Integer)
((-Integer B -Integer . -> . -Integer) ((-Integer B -Integer . -> . -Integer)
(-Integer B -Integer . -> . -Integer) (-Integer B -Integer . -> . -Integer)
(-Integer B -Integer . -> . -Integer) (-Integer B -Integer . -> . -Integer)
. -> . -Integer)] . -> . -Integer : (-LFS null (list (make-LBot))))]
[tc-e/t (plambda: (z x y ...) () (inst map z x y ... y)) [tc-e/t (plambda: (z x y ...) () (inst map z x y ... y))
(-polydots (z x y) (-> ((list ((list x) (y y) . ->... . z) (-lst x)) ((-lst y) y) . ->... . (-lst z))))] (-polydots (z x y) (-> ((list ((list x) (y y) . ->... . z) (-lst x)) ((-lst y) y) . ->... . (-lst z))))]
@ -706,10 +706,10 @@
;; We need to make sure that even if a isn't free in the dotted type, that it gets replicated ;; We need to make sure that even if a isn't free in the dotted type, that it gets replicated
;; appropriately. ;; appropriately.
[tc-e (inst (plambda: (a ...) [ys : Number ... a] [tc-e/t (inst (plambda: (a ...) [ys : Number ... a]
(apply + ys)) (apply + ys))
Boolean String Number) Boolean String Number)
(N N N . -> . N)] (N N N . -> . N)]
[tc-e (assq 'foo #{'((a b) (foo bar)) :: (Listof (List Symbol Symbol))}) [tc-e (assq 'foo #{'((a b) (foo bar)) :: (Listof (List Symbol Symbol))})
(Un (-val #f) (-pair Sym (-pair Sym (-val null))))] (Un (-val #f) (-pair Sym (-pair Sym (-val null))))]