diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-20 12:21:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-20 12:21:30 -0400 |
| commit | 26a8eaaa3429aea2e455d18ff9a0f6c661d90cef (patch) | |
| tree | d6b95ce4db9a809fbe365dfc157c8663c4b57b90 /lib | |
| parent | 035e55c6c3d7d79a73f98e7d4c6a0e5e760c8cc8 (diff) | |
Form submission type-checking
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 264427a0..3e3950cf 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -63,3 +63,7 @@ con lformTag = fn ty :: Type => fn attrs :: {Type} => -> nm :: Name -> unit -> tag attrs ([LForm] ++ ctx) [] [] [nm = ty] val textbox : lformTag string [] + +val submit : ctx ::: {Unit} -> [LForm] ~ ctx + -> use ::: {Type} -> unit + -> tag [Action = $use -> page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] |