Fix internal error message.

original commit: 25cdd87405e72bd2468d97f264fb8e3759aefe83
This commit is contained in:
Sam Tobin-Hochstadt 2011-07-16 17:59:07 -04:00
parent 838c70ac6a
commit cfbd2df41c

View File

@ -139,7 +139,7 @@ don't depend on any other portion of the system
(define (int-err msg . args)
(raise (make-exn:fail:tc (string-append "Internal Typechecker Error: "
(apply format msg args)
(format "\nwhile typechecking\n~aoriginally\n~a"
(format "\nwhile typechecking:\n~a\noriginally:\n~a"
(syntax->datum (current-orig-stx))
(syntax->datum (locate-stx (current-orig-stx)))))
(current-continuation-marks))))