Mercurial > urweb

comparison lib/ur/basis.urs @ 1412:5f4fee8a4dcd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow CSS class specification for <form>
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Jan 2011 11:18:24 -0500
parents d328983dc5a6
children 00b79f39be25
comparison
equal deleted inserted replaced
1411:38d950c06dce 1412:5f4fee8a4dcd
708 Onabort = transaction unit, Onerror = transaction unit, 708 Onabort = transaction unit, Onerror = transaction unit,
709 Onload = transaction unit] ++ boxAttrs) 709 Onload = transaction unit] ++ boxAttrs)
710 710
711 val form : ctx ::: {Unit} -> bind ::: {Type} 711 val form : ctx ::: {Unit} -> bind ::: {Type}
712 -> [[Body, Form, Table] ~ ctx] => 712 -> [[Body, Form, Table] ~ ctx] =>
713 xml ([Body, Form] ++ ctx) [] bind 713 option css_class
714 -> xml ([Body, Form] ++ ctx) [] bind
714 -> xml ([Body] ++ ctx) [] [] 715 -> xml ([Body] ++ ctx) [] []
715 716
716 val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} 717 val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type}
717 -> [[Form] ~ ctx] => 718 -> [[Form] ~ ctx] =>
718 nm :: Name -> [[nm] ~ use] => 719 nm :: Name -> [[nm] ~ use] =>