From ba48e257f0b37ba708dd772645882d7a25c22bd5 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 29 Apr 2008 21:42:37 +0000 Subject: [PATCH] Fix new inference algorithm to handle all test cases. svn: r9538 original commit: 8307bf835b23160b58b52c50815997f5fd8e11e8 --- collects/typed-scheme/typed-scheme.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.ss index a39d738c..2b089da6 100644 --- a/collects/typed-scheme/typed-scheme.ss +++ b/collects/typed-scheme/typed-scheme.ss @@ -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