comparison src/cjr_print.sml @ 1483:ebc30bb262d0

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
comparison
equal deleted inserted replaced
1482:8314f1a309e7 1483:ebc30bb262d0
3110 3110
3111 case onError of 3111 case onError of
3112 NONE => box [] 3112 NONE => box []
3113 | SOME n => box [string "static void uw_onError(uw_context ctx, char *msg) {", 3113 | SOME n => box [string "static void uw_onError(uw_context ctx, char *msg) {",
3114 newline, 3114 newline,
3115 if Settings.getDebug () then
3116 box []
3117 else
3118 box [string "uw_cutErrorLocation(msg);",
3119 newline],
3115 box [string "uw_write(ctx, ", 3120 box [string "uw_write(ctx, ",
3116 p_enamed env n, 3121 p_enamed env n,
3117 string "(ctx, msg, 0));", 3122 string "(ctx, msg, 0));",
3118 newline], 3123 newline],
3119 string "}", 3124 string "}",