From c42a196f589fa3651882cda266f54198cbba8463 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 6 May 2014 20:26:49 -0400 Subject: [PATCH] Fix a test error. original commit: f8da26dddcfd1cca16a4b18dee713a7006385a8d --- .../tests/typed-racket/unit-tests/infer-tests.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt index a84e8ee1..4e1aa4ff 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/infer-tests.rkt @@ -106,8 +106,8 @@ [infer-t (->... null ((-v a) a) (make-ListDots (-v a) 'a)) (-> -String -Symbol (-lst* -String -Symbol)) #:indices '(a)] [infer-t (->... (list (-v b)) ((-v a) a) (-v b)) (-> -String -Symbol -String) #:vars '(b) #:indices '(a)] - [infer-l (list (->... null ((-v b) b) (-v a)) (-> (-v a) -Boolean)) - (list (-> -String -Symbol) (-> Univ -Boolean) -String) + [infer-l (list (->... null ((-v b) b) (-v a)) (-> (-v a) -Boolean)) + (list (-> -String -Symbol) (-> -Symbol -Boolean)) #:vars '(a) #:indices '(b)] [infer-l (list (->... null ((-v a) a) (-v b)) (make-ListDots (-v a) 'a))