diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-09 20:08:29 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-09 20:08:29 -0400 |
| commit | bb9795918d2f0a1d9141dd86c4884fa9446cb2a9 (patch) | |
| tree | 538d4d4a08d80201fda8187ec281b39a43669f75 /src/cjr_print.sml | |
| parent | 65edfa17d6df526c57fdb08bf033671c7c6756f6 (diff) | |
Urlifying records
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_", |