summaryrefslogtreecommitdiff
path: root/lib/basis.lig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 11:32:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-24 11:32:01 -0400
commit84f7c995c0ad553d3fc91d1b31f320fc9de58d79 (patch)
treeb5b01d65e0f190463fac9857ecf3eb04f7892a59 /lib/basis.lig
parent5f895c17f35466d10ef80cd7146638d8505e4e9b (diff)
Password inputs
Diffstat (limited to 'lib/basis.lig')
-rw-r--r--lib/basis.lig1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index 913e6af4..94977faf 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -66,6 +66,7 @@ con lformTag = fn ty :: Type => fn inner :: {Unit} => fn attrs :: {Type} =>
-> nm :: Name -> unit
-> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]
val textbox : lformTag string [] []
+val password : lformTag string [] []
val ltextarea : lformTag string [] []
con radio = [Body, Radio]