Mercurial > urweb

comparison src/mono_util.sml @ 283:c0e4ac23522d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'error' function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:02:27 -0400
parents 09c66a30ef32
children 4260ad920c36
comparison
equal deleted inserted replaced
282:0236d9412ad2 283:c0e4ac23522d
194 S.bind2 (mft disc, 194 S.bind2 (mft disc,
195 fn disc' => 195 fn disc' =>
196 S.map2 (mft result, 196 S.map2 (mft result,
197 fn result' => 197 fn result' =>
198 (ECase (e', pes', {disc = disc', result = result'}), loc))))) 198 (ECase (e', pes', {disc = disc', result = result'}), loc)))))
199
200 | EError (e, t) =>
201 S.bind2 (mfe ctx e,
202 fn e' =>
203 S.map2 (mft t,
204 fn t' =>
205 (EError (e', t'), loc)))
199 206
200 | EStrcat (e1, e2) => 207 | EStrcat (e1, e2) =>
201 S.bind2 (mfe ctx e1, 208 S.bind2 (mfe ctx e1,
202 fn e1' => 209 fn e1' =>
203 S.map2 (mfe ctx e2, 210 S.map2 (mfe ctx e2,