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

Fix new inference algorithm to handle all test cases.

Browse Source 
svn: r9538

original commit: 8307bf835b23160b58b52c50815997f5fd8e11e8
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-29 21:42:37 +00:00
parent 375a4f5289
commit ba48e257f0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/typed-scheme.ss
View File

@ -60,7 +60,8 @@
[with-handlers
([(lambda (e) (and catch-errors? (exn:fail? e) (not (exn:fail:syntax? e))))
(lambda (e) (tc-error "Internal error: ~a" e))])]
[parameterize (;; this parameter is for parsing types
[parameterize ([delay-errors? #f]
;; this parameter is for parsing types
[current-tvars initial-tvar-env]
;; this parameter is just for printing types
;; this is a parameter to avoid dependency issues