diff options
| -rw-r--r-- | lib/basis.urs | 6 | ||||
| -rw-r--r-- | src/especialize.sml | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 0e6b9988..a344b3ce 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -370,9 +370,9 @@ con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) => -> 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 --git a/src/especialize.sml b/src/especialize.sml index a316ffaa..b2f0c7e6 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -117,7 +117,7 @@ fun exp (e, st : state) = (#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 |