Mercurial > meta
changeset 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 | 959583692166 |
| children | 6cd839818393 |
| files | html.ur |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
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 ())