Mercurial > urweb
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 "}", |