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

Add test for unreachble code with expected type.

Browse Source 
svn: r14869

original commit: 0cd135c3bb0f2250fd23613ad07fc3d298eeb052
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-19 15:24:12 +00:00
parent 164416b707
commit e8872656b5
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -42,7 +42,7 @@
(define-syntax tc-l
(syntax-rules ()
[(_ lit ty)
(check-type-equal? (format "~a" 'lit) (tc-literal #'lit) ty)]))
(check-type-equal? (format "~s" 'lit) (tc-literal #'lit) ty)]))
;; local-expand and then typecheck an expression
(define-syntax (tc-expr/expand/values stx)
@ -72,7 +72,7 @@
[(_ expr #:proc p)
(syntax/loc stx
(let-values ([(t e) (tc-expr/expand/values expr)])
(check-tc-result-equal? (format "~a" 'expr) (t) (p e))))]
(check-tc-result-equal? (format "~s" 'expr) (t) (p e))))]
[(_ expr #:ret r)
(syntax/loc stx
(check-tc-result-equal? (format "~a" 'expr) (tc-expr/expand expr) r))]
@ -717,6 +717,8 @@
[tc-e/t (ann (lambda (x) x) (All (a) (a -> a)))
(-poly (a) (a . -> . a))]
[tc-e (apply values (list 1 2 3)) #:ret (ret (list -Integer -Integer -Integer))]
[tc-e (ann (if #t 3 "foo") Integer) -Integer]
#;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))])
(fact 20))]