Mercurial > urweb

comparison src/mono_util.sml @ 614:5891f47d7cff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parameterized RPC query
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 13:03:09 -0500
parents 56aaa1941dad
children 4a125bbc602d
comparison
equal deleted inserted replaced
613:c5991cdb0c4b 614:5891f47d7cff
348 | ESignalSource e => 348 | ESignalSource e =>
349 S.map2 (mfe ctx e, 349 S.map2 (mfe ctx e,
350 fn e' => 350 fn e' =>
351 (ESignalSource e', loc)) 351 (ESignalSource e', loc))
352 352
353 | EServerCall (n, es, ek, t) => 353 | EServerCall (n, ek, t) =>
354 S.bind2 (ListUtil.mapfold (fn e => mfe ctx e) es, 354 S.bind2 (mfe ctx ek,
355 fn es' => 355 fn ek' =>
356 S.bind2 (mfe ctx ek, 356 S.map2 (mft t,
357 fn ek' => 357 fn t' =>
358 S.map2 (mft t, 358 (EServerCall (n, ek', t'), loc)))
359 fn t' =>
360 (EServerCall (n, es', ek', t'), loc))))
361 in 359 in
362 mfe 360 mfe
363 end 361 end
364 362
365 fun mapfold {typ = fc, exp = fe} = 363 fun mapfold {typ = fc, exp = fe} =