summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-25 14:35:49 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-25 14:35:49 -0400
commit3d0a7f3cd81daaa7d49de95de7fe4eb8d1288876 (patch)
tree71212823b38e6c57adf86e66184c7c6a00c451bc /lib
parent2dd6e83e23759ef4f5a27e399e43636881449345 (diff)
Only allow single-file upload per control
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/basis.urs6
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index ce969a37..bae58674 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -518,11 +518,7 @@ type file
val fileName : file -> option string
val fileData : file -> blob
-type files
-val numFiles : files -> int
-val fileNum : files -> int -> file
-
-val upload : formTag files [] [Value = string, Size = int]
+val upload : formTag file [] [Value = string, Size = int]
con radio = [Body, Radio]
val radio : formTag string radio []