From 4bc06a7a2a01678fc48bfd3458ed0c4518536cf3 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 16 May 2014 21:32:05 -0700 Subject: [PATCH] Add some more results to infer-tests. original commit: d057419abea6ccfd1ad3185276cccc3405c57d45 --- .../typed-racket/unit-tests/infer-tests.rkt | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt index d39bb94d..13c5750d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt @@ -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))