From a906d121f9ed67944f4a7fd808296c94f151de7e Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Tue, 5 Aug 2014 15:28:11 -0400 Subject: [PATCH] add lambda internal begin test --- stlc-tests.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/stlc-tests.rkt b/stlc-tests.rkt index a3864ca..cba07ef 100644 --- a/stlc-tests.rkt +++ b/stlc-tests.rkt @@ -49,4 +49,5 @@ (check-type (λ ([x : Int]) (void) (+ x 1)) : (→ Int Int)) (check-type-error (λ ([x : Int]) 1 1)) (check-type (λ ([x : Int] [y : Int]) (+ x y)) : (→ Int Int Int)) -(check-type-and-result (λ ([a : Int] [b : Int] [c : Int]) (void) (void) (+ a b c)) \ No newline at end of file +(check-type-and-result ((λ ([a : Int] [b : Int] [c : Int]) (void) (void) (+ a b c)) 1 2 3) + : Int => 6) \ No newline at end of file