Fix internal error message.

This commit is contained in:
Sam Tobin-Hochstadt 2011-07-16 17:59:07 -04:00
parent 09c8880ea0
commit 25cdd87405

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))))