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

Add some more results to infer-tests.

Browse Source 
original commit: d057419abea6ccfd1ad3185276cccc3405c57d45
This commit is contained in:
Eric Dobson 2014-05-16 21:32:05 -07:00
parent db297fc328
commit 4bc06a7a2a
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt
View File

@ -108,10 +108,20 @@
(infer-t (-v a) (-v b) #:vars '(a))
(infer-t (-v a) (-v b) #:vars '(b))
(infer-t (make-ListDots -Symbol 'b) (-lst -Symbol) #:indices '(b))
(infer-t (make-ListDots (-v a) 'b) (-lst -Symbol) #:vars '(a) #:indices '(b))
(infer-t (make-ListDots (-v b) 'b) (-lst -Symbol) #:indices '(b))
(infer-t (-lst -Symbol) (make-ListDots -Symbol 'b) #:indices '(b))
(infer-t (make-ListDots -Symbol 'b) (-lst -Symbol) #:indices '(b)
;; TODO Figure out why this doesnt' work
#;#;
#:result [(make-ListDots (-v b) 'b) (-lst Univ)])
(infer-t (make-ListDots (-v a) 'b) (-lst -Symbol) #:vars '(a) #:indices '(b)
#:result [(-lst* (make-ListDots (-v b) 'b) (-v a))
(-lst* (-lst -Bottom) -Bottom)])
(infer-t (make-ListDots (-v b) 'b) (-lst -Symbol) #:indices '(b)
#:result [(make-ListDots (-v b) 'b) (-lst -Bottom)])
(infer-t (-lst -Symbol) (make-ListDots -Symbol 'b) #:indices '(b)
#:result [(make-ListDots (-v b) 'b) (-lst -Bottom)])
(infer-t (-lst -Symbol) (make-ListDots (-v b) 'b) #:indices '(b)
#:result [(make-ListDots (-v b) 'b) (-lst -Symbol)])
(infer-t (make-ListDots (-v b) 'b) (-lst Univ) #:indices '(b))
(infer-t (make-ListDots (-v a) 'b) (make-ListDots -Symbol 'b) #:vars '(a))
(infer-t (make-ListDots (-v b) 'b) (make-ListDots -Symbol 'b) #:indices '(b))