Mercurial > urweb
changeset 1517:27b8c0a460cf
<image>
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 24 Jul 2011 10:51:48 -0400 (2011-07-24) |
parents | c4f39b49aa2d |
children | 883347f5c3c2 |
files | lib/ur/basis.urs src/monoize.sml |
diffstat | 2 files changed, 7 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat Jul 23 16:27:04 2011 -0400 +++ b/lib/ur/basis.urs Sun Jul 24 10:51:48 2011 -0400 @@ -797,6 +797,12 @@ -> tag ([Value = string, Action = $use -> transaction page] ++ boxAttrs) ([Form] ++ ctx) ([Form] ++ ctx) use [] +val image : ctx ::: {Unit} -> use ::: {Type} + -> [[Form] ~ ctx] => + unit + -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs) + ([Form] ++ ctx) ([Form] ++ ctx) use [] + val label : bodyTag ([For = string, Accesskey = string] ++ tableAttrs)
--- a/src/monoize.sml Sat Jul 23 16:27:04 2011 -0400 +++ b/src/monoize.sml Sun Jul 24 10:51:48 2011 -0400 @@ -3258,6 +3258,7 @@ end | "submit" => normal ("input type=\"submit\"", NONE, NONE) + | "image" => normal ("input type=\"image\"", NONE, NONE) | "button" => normal ("input type=\"submit\"", NONE, NONE) | "hidden" => input "hidden"