From 9bc8c68bed15b1d5e01d0b4c79e8639bdffb4fa3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 25 Nov 2011 16:30:34 -0500
Subject: Fix server-side urlification of custom Option types

---
 src/cjr_print.sml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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,
-- 
cgit v1.2.3