aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-23 11:18:24 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-23 11:18:24 -0500
commit54eac9ca9c3e3979003d95a58ffb7f1289877b2b (patch)
tree9ec3f5d2129923f90c71e83420cbb0b6e6583ca2 /lib/ur/basis.urs
parent89bf98ed54da03267e0d49d7d71e8b7fe70b6ae4 (diff)
Allow CSS class specification for <form>
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 8ca2e81c..fe3f0635 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -710,7 +710,8 @@ val img : bodyTag ([Src = url, Width = int, Height = int,
val form : ctx ::: {Unit} -> bind ::: {Type}
-> [[Body, Form, Table] ~ ctx] =>
- xml ([Body, Form] ++ ctx) [] bind
+ option css_class
+ -> xml ([Body, Form] ++ ctx) [] bind
-> xml ([Body] ++ ctx) [] []
val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type}