Mercurial > urweb

comparison src/mono_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 813e5a52063d
comparison
equal deleted inserted replaced
105:da760c34f5ed 106:d101cb1efe55
143 143
144 | EWrite e => 144 | EWrite e =>
145 S.map2 (mfe ctx e, 145 S.map2 (mfe ctx e,
146 fn e' => 146 fn e' =>
147 (EWrite e', loc)) 147 (EWrite e', loc))
148
149 | ESeq (e1, e2) =>
150 S.bind2 (mfe ctx e1,
151 fn e1' =>
152 S.map2 (mfe ctx e2,
153 fn e2' =>
154 (ESeq (e1', e2'), loc)))
148 in 155 in
149 mfe 156 mfe
150 end 157 end
151 158
152 fun mapfold {typ = fc, exp = fe} = 159 fun mapfold {typ = fc, exp = fe} =