fix test result

svn: r16398 original commit: a3082cba0b10ebd0e21d4ffa998332f73467d9aa
2009-10-21 14:46:36 +00:00 · 2009-10-21 14:46:36 +00:00 · 34f394533b
commit 34f394533b
parent 382a771d75
1 changed files with 6 additions and 1 deletions
--- 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))])