summaryrefslogtreecommitdiff
path: root/lib/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 17:07:34 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 17:07:34 -0400
commit13e1acb4d9330fa4d89ee7acdb4ce02fec964b47 (patch)
tree67736a8e912df902a9bdbc4cab0e68c773a82af0 /lib/basis.urs
parentf9347ca52cf7a21a3aae0e7bfbb2d5978ff5d421 (diff)
Remove _espec tag; add some tag fields
Diffstat (limited to 'lib/basis.urs')
-rw-r--r--lib/basis.urs6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index 0e6b9988..a344b3ce 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -370,9 +370,9 @@ con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) =>
-> fn [[Form] ~ ctx] =>
nm :: Name -> unit
-> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
-val textbox : formTag string [] [Value = string]
-val password : formTag string [] []
-val textarea : formTag string [] []
+val textbox : formTag string [] [Value = string, Size = int]
+val password : formTag string [] [Value = string, Size = int]
+val textarea : formTag string [] [Rows = int, Cols = int]
val checkbox : formTag bool [] [Checked = bool]