return a better type

svn: r15736 original commit: 83e0ec2b407fc06092757cdec0ec898c415b3818
2009-08-14 19:44:46 +00:00 · 2009-08-14 19:44:46 +00:00 · 1d9468f30a
commit 1d9468f30a
parent 51eff5eeb3
1 changed files with 1 additions and 1 deletions
--- 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)