Mercurial > urweb

comparison src/mono_util.sml @ 574:ac947e2f29ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Trivial use of a source
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:56:39 -0500
parents 57018f21cd5c
children 3d56940120b1
comparison
equal deleted inserted replaced
572:57018f21cd5c 574:ac947e2f29ff
332 S.bind2 (mfe ctx e1, 332 S.bind2 (mfe ctx e1,
333 fn e1' => 333 fn e1' =>
334 S.map2 (mfe ctx e2, 334 S.map2 (mfe ctx e2,
335 fn e2' => 335 fn e2' =>
336 (ESignalBind (e1', e2'), loc))) 336 (ESignalBind (e1', e2'), loc)))
337 | ESignalSource e =>
338 S.map2 (mfe ctx e,
339 fn e' =>
340 (ESignalSource e', loc))
337 in 341 in
338 mfe 342 mfe
339 end 343 end
340 344
341 fun mapfold {typ = fc, exp = fe} = 345 fun mapfold {typ = fc, exp = fe} =