Mercurial > urweb

diff src/monoize.sml @ 1358:32c8a3509369

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.cdataChar
author Adam Chlipala <adam@chlipala.net>
date Tue, 21 Dec 2010 18:01:23 -0500
parents a0f0823a54a0
children 02fc16faecf3
line wrap: on
line diff
--- a/src/monoize.sml	Tue Dec 21 17:01:51 2010 -0500
+++ b/src/monoize.sml	Tue Dec 21 18:01:23 2010 -0500
@@ -2849,6 +2849,11 @@
             in
                 ((L'.EFfiApp ("Basis", "htmlifyString", [se]), loc), fm)
             end
+          | L.ECApp (
+             (L.ECApp ((L.EFfi ("Basis", "cdataChar"), _), _), _),
+             _) =>
+            ((L'.EAbs ("ch", (L'.TFfi ("Basis", "char"), loc), (L'.TFfi ("Basis", "string"), loc),
+                       (L'.EFfiApp ("Basis", "htmlifySpecialChar", [(L'.ERel 0, loc)]), loc)), loc), fm)
 
           | L.EApp (
             (L.EApp (