From c7ac40f33b0c1d25c39c5cdd487cd34f43829267 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 26 Aug 2011 12:35:49 -0400 Subject: [PATCH] Repair test for boolean generalization. --- collects/tests/typed-scheme/succeed/for.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/for.rkt b/collects/tests/typed-scheme/succeed/for.rkt index 5a67ae59bb..8dfd6c0844 100644 --- a/collects/tests/typed-scheme/succeed/for.rkt +++ b/collects/tests/typed-scheme/succeed/for.rkt @@ -21,7 +21,7 @@ ((i : Integer '(1 2 3)) (j : Char "abc") #:when (odd? i) - (k : True #(#t #t)) + (k : Boolean #(#t #t)) #:when k) (display (list i j k))))) "(1 a #t)(1 a #t)(3 c #t)(3 c #t)")