suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

return a better type

Browse Source 
svn: r15736
This commit is contained in:
Sam Tobin-Hochstadt 2009-08-14 19:44:46 +00:00
parent 824a461335
commit 83e0ec2b40
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/typecheck/tc-expr-unit.ss
View File

@ -206,7 +206,7 @@
(let ([ty (cond [(type-ascription form) => (lambda (ann) (let ([ty (cond [(type-ascription form) => (lambda (ann)
(let ([r (tc-expr/check/internal form ann)]) (let ([r (tc-expr/check/internal form ann)])
(check-below r expected) (check-below r expected)
expected))] #;expected))]
[else (tc-expr/check/internal form expected)])]) [else (tc-expr/check/internal form expected)])])
(match ty (match ty
[(tc-results: ts fs os) [(tc-results: ts fs os)