comparison lib/ur/basis.urs @ 1557:4a13e1b73641

Switch type of 'for' attribute
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 12:56:05 -0400
parents e1f5d9c4cc20
children df6a7a22760a
comparison
equal deleted inserted replaced
1556:e1f5d9c4cc20 1557:4a13e1b73641
809 -> [[Form] ~ ctx] => 809 -> [[Form] ~ ctx] =>
810 unit 810 unit
811 -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs) 811 -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs)
812 ([Form] ++ ctx) ([Form] ++ ctx) use [] 812 ([Form] ++ ctx) ([Form] ++ ctx) use []
813 813
814 val label : bodyTag ([For = string, Accesskey = string] ++ tableAttrs) 814 val label : bodyTag ([For = id, Accesskey = string] ++ tableAttrs)
815 815
816 816
817 (*** AJAX-oriented widgets *) 817 (*** AJAX-oriented widgets *)
818 818
819 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) => 819 con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) =>