diff options
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index a9cc9ba5..227abf2e 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -914,7 +914,8 @@ fun p_file env (ds, ps) = string "+=", space, string (Int.toString (size has_arg)), - string ", ", + string ", (request[0] == '/' ? ++request : NULL), ", + newline, case #1 t of TDatatype _ => unurlify t @@ -990,6 +991,8 @@ fun p_file env (ds, ps) = string (Int.toString (size x')), string ";", newline, + string "if (request[0] == '/') ++request;", + newline, case to of NONE => box [] | SOME t => box [string "tmp->data.lw_", |