turn printing back on

svn: r14817

original commit: 792bacbd557e6395516f2d1d6686ce527014444e
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-14 18:57:43 +00:00
parent e81e3049b0
commit bea5e0d9b1

View File

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