summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-25 16:30:34 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-25 16:30:34 -0500
commit6125e568a8c5f32f29dfc761c3e34c4a627d9399 (patch)
tree06e9d4af304fd8d57bce5f2c062e90db1071aac6 /src
parent10b529dee6115daf8e939c6f6e88c3ead4992e37 (diff)
Fix server-side urlification of custom Option types
Diffstat (limited to 'src')
-rw-r--r--src/cjr_print.sml8
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,