Mercurial > urweb

diff src/cjr_print.sml @ 739:4bb7e1c0550a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Only allow single-file upload per control
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Apr 2009 14:35:49 -0400
parents 7fa4871e8272
children f7e2026dd5ae
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Apr 25 14:04:38 2009 -0400
+++ b/src/cjr_print.sml	Sat Apr 25 14:35:49 2009 -0400
@@ -456,9 +456,9 @@
   | isBlob (Nullable t) = isBlob t
   | isBlob _ = false
 
-fun isFiles (t : typ) =
+fun isFile (t : typ) =
     case #1 t of
-        TFfi ("Basis", "files") => true
+        TFfi ("Basis", "file") => true
       | _ => false
 
 fun p_sql_type' t =
@@ -2423,7 +2423,7 @@
                                                                    (TFfi ("Basis", "bool"), _) => "optional_"
                                                                  | _ => ""
                                                    in
-                                                       if isFiles t then
+                                                       if isFile t then
                                                            box [string "uw_input_",
                                                                 p_ident x,
                                                                 space,