Mercurial > urweb

comparison src/flat_util.sml @ 106:d101cb1efe55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More with attributes and efficient serialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:49:14 -0400
parents 5f04adf47f48
children
comparison
equal deleted inserted replaced
105:da760c34f5ed 106:d101cb1efe55
207 207
208 | EWrite e => 208 | EWrite e =>
209 S.map2 (mfe ctx e, 209 S.map2 (mfe ctx e,
210 fn e' => 210 fn e' =>
211 (EWrite e', loc)) 211 (EWrite e', loc))
212
213 | ESeq (e1, e2) =>
214 S.bind2 (mfe ctx e1,
215 fn e1' =>
216 S.map2 (mfe ctx e2,
217 fn e2' =>
218 (ESeq (e1', e2'), loc)))
212 in 219 in
213 mfe 220 mfe
214 end 221 end
215 222
216 fun mapfold {typ = fc, exp = fe} = 223 fun mapfold {typ = fc, exp = fe} =