Mercurial > urweb

comparison src/flat_util.sml @ 102:5f04adf47f48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents 717b6f8d8505
children d101cb1efe55
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
195 xes, 195 xes,
196 fn xes' => 196 fn xes' =>
197 S.map2 (mfe ctx e, 197 S.map2 (mfe ctx e,
198 fn e' => 198 fn e' =>
199 (ELet (xes', e'), loc))) 199 (ELet (xes', e'), loc)))
200
201 | EStrcat (e1, e2) =>
202 S.bind2 (mfe ctx e1,
203 fn e1' =>
204 S.map2 (mfe ctx e2,
205 fn e2' =>
206 (EStrcat (e1', e2'), loc)))
207
208 | EWrite e =>
209 S.map2 (mfe ctx e,
210 fn e' =>
211 (EWrite e', loc))
200 in 212 in
201 mfe 213 mfe
202 end 214 end
203 215
204 fun mapfold {typ = fc, exp = fe} = 216 fun mapfold {typ = fc, exp = fe} =