From 53dbce6998e78ddcb05693c7efdca101075941b0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 27 Jul 2017 20:08:01 -0400
Subject: Fix last fix, to handle checkboxes properly

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

(limited to 'src')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 8fafc59f..1fdb45d9 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -482,6 +482,11 @@ fun isFile (t : typ) =
         TFfi ("Basis", "file") => true
       | _ => false
 
+fun isString (t : typ) =
+    case #1 t of
+        TFfi ("Basis", "string") => true
+      | _ => false
+
 fun p_sql_type t = string (Settings.p_sql_ctype t)
 
 fun getPargs (e, _) =
@@ -2955,7 +2960,7 @@ fun p_file env (ds, ps) =
                               space,
                               string "=",
                               space,
-                              if includesFile then
+                              if includesFile andalso isString t then
                                   string "request"
                               else
                                   unurlify true env t,
-- 
cgit v1.2.3