From 499852087dcc023b70056007b6eb613ec8ba9596 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 28 Apr 2011 14:51:29 -0500 Subject: [PATCH] stlc bug fix --- collects/redex/examples/stlc.rkt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/redex/examples/stlc.rkt b/collects/redex/examples/stlc.rkt index 4e740cfed2..5e248cc4b2 100644 --- a/collects/redex/examples/stlc.rkt +++ b/collects/redex/examples/stlc.rkt @@ -154,10 +154,16 @@ (test-equal (term (tc x)) (term #f)) (test-equal (term (tc x (x num) (x (-> num num)))) (term num)) (test-equal (term (tc ((λ ((x num)) x) 1))) (term num)) +(test-equal (term (tc ((λ ((x num)) x) 1 2))) (term #f)) (test-equal (term (tc ((λ ((f (-> num num)) (x num)) (f x)) (λ ((x num)) x) 1))) (term num)) (test-equal (term (tc (+ (+ 1 2) 3))) (term num)) (test-equal (term (tc (if0 1 (λ ((x num)) x) 3))) (term #f)) (test-equal (term (tc (if0 1 2 3))) (term num)) (test-equal (term (tc (λ ((x num)) (x)))) (term #f)) +(test-equal (term (tc (1 2))) + (term #f)) +(test-equal (term (tc (λ ((x num)) (1 2)))) + (term #f)) + (test-results)