Mercurial > urweb
diff src/monoize.sml @ 135:b1cfe49ce692
Proper escaping of cdata
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Jul 2008 13:33:56 -0400 |
parents | b04f7422c832 |
children | adfa2c7a75da |
line wrap: on
line diff
--- a/src/monoize.sml Thu Jul 17 13:12:16 2008 -0400 +++ b/src/monoize.sml Thu Jul 17 13:33:56 2008 -0400 @@ -139,7 +139,7 @@ | L.EFfiApp (m, x, es) => (L'.EFfiApp (m, x, map (monoExp env) es), loc) | L.EApp ((L.ECApp ((L.EFfi ("Basis", "cdata"), _), - _), _), se) => monoExp env se + _), _), se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc) | L.EApp ( (L.EApp ( (L.ECApp (