changeset 1517:27b8c0a460cf

<image>
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 10:51:48 -0400
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"