# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1225400854 14400
# Node ID f45f23ae20ed990cdff4f129846993f4ed1c379c
# Parent  bd9ee9aeca2fcaffcc021a76563f97a0f6ffe1f0
Remove _espec tag; add some tag fields

diff -r bd9ee9aeca2f -r f45f23ae20ed lib/basis.urs
--- a/lib/basis.urs	Thu Oct 30 16:58:54 2008 -0400
+++ b/lib/basis.urs	Thu Oct 30 17:07:34 2008 -0400
@@ -370,9 +370,9 @@
                   -> fn [[Form] ~ ctx] =>
                         nm :: Name -> unit
                         -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
-val textbox : formTag string [] [Value = string]
-val password : formTag string [] []
-val textarea : formTag string [] []
+val textbox : formTag string [] [Value = string, Size = int]
+val password : formTag string [] [Value = string, Size = int]
+val textarea : formTag string [] [Rows = int, Cols = int]
 
 val checkbox : formTag bool [] [Checked = bool]
 
diff -r bd9ee9aeca2f -r f45f23ae20ed src/especialize.sml
--- a/src/especialize.sml	Thu Oct 30 16:58:54 2008 -0400
+++ b/src/especialize.sml	Thu Oct 30 17:07:34 2008 -0400
@@ -117,7 +117,7 @@
                                 (#1 e',
                                  {maxName = #maxName st,
                                   funcs = #funcs st,
-                                  decls = (name, f', typ', body', tag ^ "_espec") :: #decls st})
+                                  decls = (name, f', typ', body', tag) :: #decls st})
                             end
                     end
     end