From 005923c28433fb8dd19dfdac8ce91e5001fdd809 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 26 Aug 2011 14:08:24 -0400 Subject: [PATCH] Only generalize #t, not #f. --- collects/typed-scheme/types/convenience.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/convenience.rkt b/collects/typed-scheme/types/convenience.rkt index fec680dd90..b660efd1b7 100644 --- a/collects/typed-scheme/types/convenience.rkt +++ b/collects/typed-scheme/types/convenience.rkt @@ -56,7 +56,7 @@ (exit t)))] [(ListDots: t bound) (-lst (substitute Univ bound t))] [(? (lambda (t) (subtype t -Symbol))) -Symbol] - [(or (Value: #f) (Value: #t)) -Boolean] + [(Value: #t) -Boolean] [_ (exit t)]))))