diff src/cjr_print.sml @ 1880:0354df1b6849

Remove uw_cutErrorLocation() hijinks
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Oct 2013 18:31:10 -0400
parents 16b08de04f05
children 1a04b1edded2
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Oct 10 18:04:29 2013 -0400
+++ b/src/cjr_print.sml	Thu Oct 10 18:31:10 2013 -0400
@@ -1617,8 +1617,11 @@
              string "tmp;",
              newline,
              string "uw_error(ctx, FATAL, \"",
-             string (ErrorMsg.spanToString loc),
-             string ": %s\", ",
+             string (if Settings.getDebug () then
+                         ErrorMsg.spanToString loc ^ ": "
+                     else
+                         ""),
+             string "%s\", ",
              p_exp' false false env e,
              string ");",
              newline,
@@ -3515,11 +3518,6 @@
                  NONE => box []
                | SOME n => box [string "static void uw_onError(uw_context ctx, char *msg) {",
                                 newline,
-                                if Settings.getDebug () then
-                                    box []
-                                else
-                                    box [string "uw_cutErrorLocation(msg);",
-                                         newline],
                                 if !hasJs then
                                     box [string "uw_set_script_header(ctx, \"",
                                          string allScripts,