Mercurial > urweb

comparison src/mono_util.sml @ 670:f73913d97a40

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper recv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 16:03:45 -0400
parents 4a125bbc602d
children 500e93aa436f
comparison
equal deleted inserted replaced
669:f68eee90dbcf 670:f73913d97a40
356 S.bind2 (mfe ctx ek, 356 S.bind2 (mfe ctx ek,
357 fn ek' => 357 fn ek' =>
358 S.map2 (mft t, 358 S.map2 (mft t,
359 fn t' => 359 fn t' =>
360 (EServerCall (s', ek', t'), loc)))) 360 (EServerCall (s', ek', t'), loc))))
361 | ERecv (s, ek, t) =>
362 S.bind2 (mfe ctx s,
363 fn s' =>
364 S.bind2 (mfe ctx ek,
365 fn ek' =>
366 S.map2 (mft t,
367 fn t' =>
368 (ERecv (s', ek', t'), loc))))
361 in 369 in
362 mfe 370 mfe
363 end 371 end
364 372
365 fun mapfold {typ = fc, exp = fe} = 373 fun mapfold {typ = fc, exp = fe} =