From 30edae2956d346e7df7ca27fcc77432e45cea99e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 19 May 2018 16:06:11 -0400
Subject: More defensive unurlification of enumerations (closes #117)

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

(limited to 'src')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 1fdb45d9..43265fb8 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -659,7 +659,10 @@ fun unurlify fromClient env (t, loc) =
                                  doEm rest,
                                  string ")"]
                 in
-                    doEm xncs
+                    box [string "(request[0] == '/' ? ++request : request,",
+                         newline,
+                         doEm xncs,
+                         string ")"]
                 end
 
               | TDatatype (Option, i, xncs) =>
-- 
cgit v1.2.3