# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1264513585 18000
# Node ID 4f3a1aa3b66d15d5c4f9d0ff3bb3a3e4c5b0bec1
# Parent  e1cf925e20740330d46e50dd2ef170e454383d9b
<img> has dimensions and needs special HTML handling

diff -r e1cf925e2074 -r 4f3a1aa3b66d lib/ur/basis.urs
--- a/lib/ur/basis.urs	Tue Jan 12 16:09:13 2010 -0500
+++ b/lib/ur/basis.urs	Tue Jan 26 08:46:25 2010 -0500
@@ -654,7 +654,8 @@
 
 val a : bodyTag ([Link = transaction page, Href = url] ++ boxAttrs)
 
-val img : bodyTag ([Src = url, Onabort = transaction unit, Onerror = transaction unit,
+val img : bodyTag ([Src = url, Width = int, Height = int,
+                    Onabort = transaction unit, Onerror = transaction unit,
                     Onload = transaction unit] ++ boxAttrs)
           
 val form : ctx ::: {Unit} -> bind ::: {Type}
diff -r e1cf925e2074 -r 4f3a1aa3b66d src/monoize.sml
--- a/src/monoize.sml	Tue Jan 12 16:09:13 2010 -0500
+++ b/src/monoize.sml	Tue Jan 26 08:46:25 2010 -0500
@@ -47,7 +47,8 @@
                               "p",
                               "hr",
                               "input",
-                              "button"])
+                              "button",
+                              "img"])
 
 val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan)