Fix Typed Scheme printing of types.

Merge to 5.0.
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-25 07:57:34 -07:00
parent 2df8fac233
commit 85b59a2f4c

View File

@ -43,7 +43,7 @@
([(lambda (e) (and catch-errors? (exn:fail? e) (not (exn:fail:syntax? e))))
(lambda (e) (tc-error "Internal error: ~a" e))])]
[parameterize (;; enable fancy printing?
[custom-printer #f]
[custom-printer #t]
;; a cheat to avoid units
[infer-param infer]
;; do we report multiple errors