diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-25 14:35:49 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-25 14:35:49 -0400 |
commit | fed2930b7cf791909b9f5e073720bdc4e170acad (patch) | |
tree | 71212823b38e6c57adf86e66184c7c6a00c451bc /src/cjr_print.sml | |
parent | 6c83085b52f4c2d6cd9a8d35f1957acdc5e8b55b (diff) |
Only allow single-file upload per control
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index d24cbfa4..07e3931f 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -456,9 +456,9 @@ fun isBlob Blob = true | 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 @@ fun p_file env (ds, ps) = (TFfi ("Basis", "bool"), _) => "optional_" | _ => "" in - if isFiles t then + if isFile t then box [string "uw_input_", p_ident x, space, |