diff src/cjr_print.sml @ 1613:4973d31b5fff

Fix server-side urlification of custom Option types
author Adam Chlipala <adam@chlipala.net>
date Fri, 25 Nov 2011 16:30:34 -0500
parents 02a50a9d50ea
children 15e0c935c91b
line wrap: on
line diff
--- a/src/cjr_print.sml	Fri Nov 25 11:08:51 2011 -0500
+++ b/src/cjr_print.sml	Fri Nov 25 16:30:34 2011 -0500
@@ -1090,7 +1090,13 @@
                                             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,