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

Add real test for check-type and remove unit tests.

Browse Source 
original commit: 83aa8bc07b8396c90e5796206ba05af8431f1422
This commit is contained in:
Eric Dobson 2013-05-26 18:28:23 -07:00
parent 2d41a3e302
commit 89d0eafa25
2 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -1699,12 +1699,6 @@
[tc-e/t (inst (ann (lambda (a) a) (All (a) (a -> a))) Symbol)
(t:-> -Symbol -Symbol)]
)
(test-suite
"check-type tests"
(test-exn "Fails correctly" exn:fail:syntax? (lambda () (parameterize ([orig-module-stx #'here])
(check-type #'here N B))))
(test-not-exn "Doesn't fail on subtypes" (lambda () (check-type #'here N Univ)))
(test-not-exn "Doesn't fail on equal types" (lambda () (check-type #'here N N))))
(test-suite
"tc-literal tests"
(tc-l 5 -PosByte)

8
pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/multiple-annotations-define.rkt Normal file
View File

@ -0,0 +1,8 @@
#;
(exn-pred 1 "Body had type:.*Variable had type:.*")
#lang typed/racket
(: a Integer)
(: b String)
(define-values (a b c) (values 1 2 3))