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

Fix types of syntax tests.

Browse Source 
Test for double instantiation.

svn: r12164
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-29 02:15:50 +00:00
parent c4d183fcfc
commit acfba8a390
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

@ -473,8 +473,8 @@
[tc-err (call-with-values (lambda () (values 2 1)) [tc-err (call-with-values (lambda () (values 2 1))
(lambda: ([x : String] [y : Number]) (+ x y)))] (lambda: ([x : String] [y : Number]) (+ x y)))]
;; quote-syntax ;; quote-syntax
[tc-e #'3 Any-Syntax] [tc-e #'3 (-Syntax -Integer)]
[tc-e #'(1 2 3) Any-Syntax] [tc-e #'(1 2 3) (-Syntax (-lst* -Integer -Integer -Integer))]
;; testing some primitives ;; testing some primitives
[tc-e (let ([app apply] [tc-e (let ([app apply]
@ -648,6 +648,12 @@
ys))) ys)))
(-polydots (a) ((list) ((list) (a a) . ->... . N) . ->* . ((list) (a a) . ->... . (-lst N))))] (-polydots (a) ((list) ((list) (a a) . ->... . N) . ->* . ((list) (a a) . ->... . (-lst N))))]
[tc-e (lambda: ((x : (All (t) t)))
((inst (inst x (All (t) (t -> t)))
(All (t) t))
x))
((-poly (a) a) . -> . (-poly (a) a))]
;; 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 (inst (plambda: (a ...) [ys : Number ... a]