# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1311519108 14400
# Node ID 27b8c0a460cf30d92e7c6a5729e80f47765e7739
# Parent  c4f39b49aa2d2e4e3a3b0120eef7a181934b850f
<image>

diff -r c4f39b49aa2d -r 27b8c0a460cf lib/ur/basis.urs
--- 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)
 
 
diff -r c4f39b49aa2d -r 27b8c0a460cf src/monoize.sml
--- 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"