Mercurial > urweb

comparison src/monoize.sml @ 135:b1cfe49ce692

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper escaping of cdata
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 13:33:56 -0400
parents b04f7422c832
children adfa2c7a75da
comparison
equal deleted inserted replaced
134:18299126a343 135:b1cfe49ce692
137 | L.ENamed n => (L'.ENamed n, loc) 137 | L.ENamed n => (L'.ENamed n, loc)
138 | L.EFfi mx => (L'.EFfi mx, loc) 138 | L.EFfi mx => (L'.EFfi mx, loc)
139 | L.EFfiApp (m, x, es) => (L'.EFfiApp (m, x, map (monoExp env) es), loc) 139 | L.EFfiApp (m, x, es) => (L'.EFfiApp (m, x, map (monoExp env) es), loc)
140 140
141 | L.EApp ((L.ECApp ((L.EFfi ("Basis", "cdata"), _), 141 | L.EApp ((L.ECApp ((L.EFfi ("Basis", "cdata"), _),
142 _), _), se) => monoExp env se 142 _), _), se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc)
143 | L.EApp ( 143 | L.EApp (
144 (L.EApp ( 144 (L.EApp (
145 (L.ECApp ( 145 (L.ECApp (
146 (L.ECApp ( 146 (L.ECApp (
147 (L.ECApp ( 147 (L.ECApp (