Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1357:a0f0823a54a0 1358:32c8a3509369
2847 let 2847 let
2848 val (se, fm) = monoExp (env, st, fm) se 2848 val (se, fm) = monoExp (env, st, fm) se
2849 in 2849 in
2850 ((L'.EFfiApp ("Basis", "htmlifyString", [se]), loc), fm) 2850 ((L'.EFfiApp ("Basis", "htmlifyString", [se]), loc), fm)
2851 end 2851 end
2852 | L.ECApp (
2853 (L.ECApp ((L.EFfi ("Basis", "cdataChar"), _), _), _),
2854 _) =>
2855 ((L'.EAbs ("ch", (L'.TFfi ("Basis", "char"), loc), (L'.TFfi ("Basis", "string"), loc),
2856 (L'.EFfiApp ("Basis", "htmlifySpecialChar", [(L'.ERel 0, loc)]), loc)), loc), fm)
2852 2857
2853 | L.EApp ( 2858 | L.EApp (
2854 (L.EApp ( 2859 (L.EApp (
2855 (L.ECApp ( 2860 (L.ECApp (
2856 (L.ECApp ( 2861 (L.ECApp (