From a7a6f1451eb2579bbd2796ae23c4b65607897334 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 25 Sep 2008 14:55:36 +0000 Subject: [PATCH] Add test for assq svn: r11871 original commit: 23db0aa366a5e85eefc3d8ff188d23ddf40aef82 --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index fee35aa2..5506b1ff 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -651,6 +651,9 @@ Boolean String Number) (N N N . -> . N)] + [tc-e (assq 'foo #{'((a b) (foo bar)) :: (Listof (List Symbol Symbol))}) + (Un (-val #f) (-pair Sym (-pair Sym (-val null))))] + #;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))]) (fact 20))]