Mercurial > meta
diff html.ur @ 17:1a915f89f23a
Update for a change to Ur/Web tag encoding
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 29 Dec 2011 10:10:50 -0500 |
parents | 8eaaca74a64c |
children | 6cd839818393 |
line wrap: on
line diff
--- a/html.ur Sun Dec 11 14:44:18 2011 -0500 +++ b/html.ur Thu Dec 29 10:10:50 2011 -0500 @@ -15,7 +15,7 @@ Attributes = attrs, Folder = fl, Construct = fn [ctx] [[Body] ~ ctx] (ats : $use) (inner : xml ([Body] ++ ctx) [] []) => - Basis.tag None ats construct inner} + Basis.tag None None ats construct inner} fun simpleTag [ignore] name (bt : bodyTag ignore) : tag [] = @@tag [[]] [ignore] ! _ name {} (fn [ctx] [[Body] ~ ctx] => bt ())