Mercurial > urweb

comparison src/monoize.sml @ 139:adfa2c7a75da

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Form binding parameters threaded through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 20 Jul 2008 10:11:16 -0400
parents b1cfe49ce692
children f214c535d253
comparison
equal deleted inserted replaced
138:d6d78055f001 139:adfa2c7a75da
136 | L.ERel n => (L'.ERel n, loc) 136 | L.ERel n => (L'.ERel n, loc)
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 (
142 _), _), se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc) 142 (L.ECApp (
143 (L.ECApp (
144 (L.ECApp ((L.EFfi ("Basis", "cdata"), _), _), _),
145 _), _),
146 _), _),
147 se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc)
143 | L.EApp ( 148 | L.EApp (
144 (L.EApp ( 149 (L.EApp (
145 (L.ECApp ( 150 (L.ECApp (
146 (L.ECApp ( 151 (L.ECApp (
147 (L.ECApp ( 152 (L.ECApp (
148 (L.EFfi ("Basis", "join"), 153 (L.ECApp (
149 _), _), _), 154 (L.ECApp (
155 (L.ECApp (
156 (L.ECApp (
157 (L.EFfi ("Basis", "join"),
158 _), _), _),
159 _), _),
160 _), _),
161 _), _),
162 _), _),
150 _), _), 163 _), _),
151 _), _), 164 _), _),
152 xml1), _), 165 xml1), _),
153 xml2) => (L'.EStrcat (monoExp env xml1, monoExp env xml2), loc) 166 xml2) => (L'.EStrcat (monoExp env xml1, monoExp env xml2), loc)
154 167
157 (L.EApp ( 170 (L.EApp (
158 (L.ECApp ( 171 (L.ECApp (
159 (L.ECApp ( 172 (L.ECApp (
160 (L.ECApp ( 173 (L.ECApp (
161 (L.ECApp ( 174 (L.ECApp (
162 (L.EFfi ("Basis", "tag"), 175 (L.ECApp (
163 _), _), _), _), _), _), _), _), _), 176 (L.ECApp (
177 (L.ECApp (
178 (L.ECApp (
179 (L.EFfi ("Basis", "tag"),
180 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
164 attrs), _), 181 attrs), _),
165 tag), _), 182 tag), _),
166 xml) => 183 xml) =>
167 let 184 let
168 fun getTag (e, _) = 185 fun getTag (e, _) =