# HG changeset patch # User Adam Chlipala # Date 1241117303 14400 # Node ID 16b34dc2e29ce1fffc467b2b6ddea9e0634afef2 # Parent 21f6d2e65685cbd946a99e9e8d9229675b4ba2e5 diff -r 21f6d2e65685 -r 16b34dc2e29c lib/ur/basis.urs --- a/lib/ur/basis.urs Thu Apr 30 14:43:55 2009 -0400 +++ b/lib/ur/basis.urs Thu Apr 30 14:48:23 2009 -0400 @@ -584,6 +584,7 @@ -> [[Form] ~ ctx] => nm :: Name -> unit -> tag attrs ([Form] ++ ctx) inner [] [nm = ty] +val hidden : formTag string [] [Value = string] val textbox : formTag string [] [Value = string, Size = int, Source = source string] val password : formTag string [] [Value = string, Size = int] val textarea : formTag string [] [Rows = int, Cols = int] diff -r 21f6d2e65685 -r 16b34dc2e29c src/monoize.sml --- a/src/monoize.sml Thu Apr 30 14:43:55 2009 -0400 +++ b/src/monoize.sml Thu Apr 30 14:48:23 2009 -0400 @@ -2533,6 +2533,7 @@ | "submit" => normal ("input type=\"submit\"", NONE, NONE) | "button" => normal ("input type=\"submit\"", NONE, NONE) + | "hidden" => input "hidden" | "textbox" => (case targs of diff -r 21f6d2e65685 -r 16b34dc2e29c tests/subforms.ur --- a/tests/subforms.ur Thu Apr 30 14:43:55 2009 -0400 +++ b/tests/subforms.ur Thu Apr 30 14:48:23 2009 -0400 @@ -1,7 +1,7 @@ fun handler' ls = case ls of Nil => - | Cons (r, ls) =>

{[r.A]}, {[r.B]}, {[r.Sub]}

{handler' ls} + | Cons (r, ls) =>

{[r.Nam]}, {[r.A]}, {[r.B]}, {[r.Sub]}

{handler' ls} fun handler r = return {[r.A]}
@@ -14,12 +14,14 @@
+

+