Mercurial > urweb

diff src/cjr_print.sml @ 1483:ebc30bb262d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
For non-debug builds, leave out source location info in what is shown to user
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jul 2011 12:40:00 -0400
parents a10d080123ec
children dcc8abbc6dfd
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Jun 28 08:07:20 2011 -0400
+++ b/src/cjr_print.sml	Sun Jul 03 12:40:00 2011 -0400
@@ -3112,6 +3112,11 @@
                  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],
                                 box [string "uw_write(ctx, ",
                                      p_enamed env n,
                                      string "(ctx, msg, 0));",