# HG changeset patch # User Adam Chlipala # Date 1416164784 18000 # Node ID 855d7746a08438561ccf596ebc069c5415eb0c5a # Parent fde864eacd47b88cd68fefae568b150cde582c20 Remove 'value' attribute of diff -r fde864eacd47 -r 855d7746a084 lib/ur/basis.urs --- a/lib/ur/basis.urs Sun Nov 16 14:02:17 2014 -0500 +++ b/lib/ur/basis.urs Sun Nov 16 14:06:24 2014 -0500 @@ -960,7 +960,7 @@ val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit, Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) -val checkbox : formTag bool [] ([Checked = bool, Onchange = transaction unit, Value = string] ++ boxAttrs) +val checkbox : formTag bool [] ([Checked = bool, Onchange = transaction unit] ++ boxAttrs) type file val fileName : file -> option string diff -r fde864eacd47 -r 855d7746a084 tests/html5_forms.ur --- a/tests/html5_forms.ur Sun Nov 16 14:02:17 2014 -0500 +++ b/tests/html5_forms.ur Sun Nov 16 14:06:24 2014 -0500 @@ -1,4 +1,7 @@ fun handler r = return + A: {[r.A]}
+ B: {[r.B]}
+ C: {[r.C]}
fun main () = @@ -6,6 +9,7 @@