From 1d9468f30a977a925708214b4a4281974a610196 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Fri, 14 Aug 2009 19:44:46 +0000
Subject: [PATCH] return a better type

svn: r15736

original commit: 83e0ec2b407fc06092757cdec0ec898c415b3818
---
 collects/typed-scheme/typecheck/tc-expr-unit.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.ss b/collects/typed-scheme/typecheck/tc-expr-unit.ss
index 80bd8ab4..51e18385 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.ss
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.ss
@@ -206,7 +206,7 @@
     (let ([ty (cond [(type-ascription form) => (lambda (ann)
                                                  (let ([r (tc-expr/check/internal form ann)])
                                                    (check-below r expected)
-                                                   expected))]
+                                                   #;expected))]
                     [else (tc-expr/check/internal form expected)])])
       (match ty
         [(tc-results: ts fs os)