diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-17 13:33:56 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-17 13:33:56 -0400 |
| commit | 2e00cd0bdfadfab33a3c802994c8c0e5cf565174 (patch) | |
| tree | e468f73f825fba86812b997da7f918a261ef30ef /src/monoize.sml | |
| parent | 1676fa257dfb1f2569d6ffcdb1aea4c5a50dbae1 (diff) | |
Proper escaping of cdata
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 5f9e5ccd..4c28fb48 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -139,7 +139,7 @@ fun monoExp env (all as (e, loc)) = | 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 ( |