summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 10:41:53 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 10:41:53 -0400
commita8d4408b6a68c27dc88d8f7e37326c19296808db (patch)
tree1a5e9d5f469c8e29d4c0106086d8a029f4dc476b /lib
parenta729c94d397dc7731a711eea990092c90fbd5460 (diff)
textarea
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.lig1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index 64dee2a3..445ebc85 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -66,6 +66,7 @@ con lformTag = fn ty :: Type => fn attrs :: {Type} =>
-> nm :: Name -> unit
-> tag attrs ([LForm] ++ ctx) [] [] [nm = ty]
val textbox : lformTag string []
+val ltextarea : lformTag string []
val submit : ctx ::: {Unit} -> [LForm] ~ ctx
-> use ::: {Type} -> unit