Mercurial > urweb

comparison src/mono_util.sml @ 572:57018f21cd5c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Handling singnal bind
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:30:57 -0500
parents 162d5308e34f
children ac947e2f29ff
comparison
equal deleted inserted replaced
571:86d324061ddc 572:57018f21cd5c
326 326
327 | ESignalReturn e => 327 | ESignalReturn e =>
328 S.map2 (mfe ctx e, 328 S.map2 (mfe ctx e,
329 fn e' => 329 fn e' =>
330 (ESignalReturn e', loc)) 330 (ESignalReturn e', loc))
331 | ESignalBind (e1, e2) =>
332 S.bind2 (mfe ctx e1,
333 fn e1' =>
334 S.map2 (mfe ctx e2,
335 fn e2' =>
336 (ESignalBind (e1', e2'), loc)))
331 in 337 in
332 mfe 338 mfe
333 end 339 end
334 340
335 fun mapfold {typ = fc, exp = fe} = 341 fun mapfold {typ = fc, exp = fe} =