diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-25 16:30:34 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-25 16:30:34 -0500 |
commit | 6125e568a8c5f32f29dfc761c3e34c4a627d9399 (patch) | |
tree | 06e9d4af304fd8d57bce5f2c062e90db1071aac6 | |
parent | 10b529dee6115daf8e939c6f6e88c3ead4992e37 (diff) |
Fix server-side urlification of custom Option types
-rw-r--r-- | src/cjr_print.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 1c809f38..ddeb8ea5 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1090,7 +1090,13 @@ fun urlify env t = box [string "if (it0) {", newline, if isUnboxable t then - urlify' 0 t + box [string "uw_write(ctx, \"", + string has_arg, + string "/\");", + newline, + urlify' 0 t, + string ";", + newline] else box [p_typ env t, space, |