From 8add889cfe142f3731e732846b5ac4695a724685 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 13 May 2009 16:17:01 +0000 Subject: [PATCH] Fix two tests svn: r14797 original commit: 5f1b4a7daf99c2db91b1b9c1685a0dc9ef65614e --- .../typed-scheme/unit-tests/typecheck-tests.ss | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss index 12a14ae3..e1451fcb 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.ss @@ -151,7 +151,7 @@ [tc-e (let: ([x : Number 5]) x) #:proc (get-let-name x 0 (-path -Number #'x))] [tc-e (let-values ([(x) 4]) (+ x 1)) -Integer] [tc-e (let-values ([(#{x : Number} #{y : Boolean}) (values 3 #t)]) (and (= x 1) (not y))) - #:proc (syntax-parser [(_ ([(_ y) . _]) . _) (ret -Boolean (-FS (list (make-TypeFilter (-val #f) #'y)) null))])] + #:proc (syntax-parser [(_ ([(_ y) . _]) . _) (ret -Boolean (-FS (list (make-TypeFilter (-val #f) null #'y)) null))])] [tc-e/t (values 3) -Integer] [tc-e (values) #:ret (ret null)] [tc-e (values 3 #f) #:ret (ret (list -Integer (-val #f)) (list (-FS (list) (list (make-Bot))) (-FS (list (make-Bot)) (list))))] @@ -559,14 +559,14 @@ (* x z)) -Integer] - [tc-e (let () - (define: (f [x : Number]) : Number - (define: (g [y : Number]) : Number - (let*-values ([(#{z : Number} #{w : Number}) (values (g (f x)) 5)]) - (+ z w))) - (g 4)) - 5) - -Integer] + [tc-e/t (let () + (define: (f [x : Number]) : Number + (define: (g [y : Number]) : Number + (let*-values ([(#{z : Number} #{w : Number}) (values (g (f x)) 5)]) + (+ z w))) + (g 4)) + 5) + -Integer] [tc-err (let () (define x x)