www

commit 36bec40650c073048d0c4a63d38ebc8c87ec73ca
parent 36d568b512520df677078145ba25eae922c57809
Author: Ben Greenman <types@ccs.neu.edu>
Date:   Thu, 15 Oct 2015 15:37:48 -0400

regression tests for subs?

Diffstat:
M
tapl/tests/stlc+sub-tests.rkt
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/tapl/tests/stlc+sub-tests.rkt b/tapl/tests/stlc+sub-tests.rkt
@@ -51,3 +51,7 @@
 (typecheck-fail (λ ([x : (→ Int Int)]) (+ x x))) ; x should be Int
 (typecheck-fail ((λ ([x : Int] [y : Int]) y) 1)) ; wrong number of args
 (check-type ((λ ([x : Int]) (+ x x)) 10) : Num ⇒ 20)
+
+(check-not-type (λ ([x : Int]) x) : Int)
+(check-not-type (λ ([x : Int] [y : Int]) x) : (→ Int Int))
+(check-not-type (λ ([x : Int]) x) : (→ Int Int Int Int))