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 (