From 34f394533b1800aaba551a35bcf37f68bfe7b933 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 21 Oct 2009 14:46:36 +0000 Subject: [PATCH] fix test result svn: r16398 original commit: a3082cba0b10ebd0e21d4ffa998332f73467d9aa --- collects/tests/typed-scheme/unit-tests/typecheck-tests.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index c22a4a23..2b84de80 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -439,7 +439,12 @@ (boolean? x)) (if (boolean? x) 1 x) 4)) - Univ] + #:proc (get-let-name + x 0 + (ret Univ + (-FS + null + (list (make-NotTypeFilter -Boolean null #'x) (make-TypeFilter (-val #f) null #'x)))))] ;; T-AbsPred [tc-e/t (let ([p? (lambda: ([x : Any]) (number? x))])