Mercurial > urweb

comparison src/mono_util.sml @ 695:500e93aa436f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sleep and better Scriptcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 15:56:47 -0400
parents f73913d97a40
children 70cbdcf5989b
comparison
equal deleted inserted replaced
694:7ea0df9e56b6 695:500e93aa436f
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) => 361 | ERecv (s, ek, t) =>
362 S.bind2 (mfe ctx s, 362 S.bind2 (mfe ctx s,
363 fn s' => 363 fn s' =>
364 S.bind2 (mfe ctx ek, 364 S.bind2 (mfe ctx ek,
365 fn ek' => 365 fn ek' =>
366 S.map2 (mft t, 366 S.map2 (mft t,
367 fn t' => 367 fn t' =>
368 (ERecv (s', ek', t'), loc)))) 368 (ERecv (s', ek', t'), loc))))
369 | ESleep (s, ek) =>
370 S.bind2 (mfe ctx s,
371 fn s' =>
372 S.map2 (mfe ctx ek,
373 fn ek' =>
374 (ESleep (s', ek'), loc)))
369 in 375 in
370 mfe 376 mfe
371 end 377 end
372 378
373 fun mapfold {typ = fc, exp = fe} = 379 fun mapfold {typ = fc, exp = fe} =