Mercurial > urweb

comparison src/mono_util.sml @ 736:796e42c93c48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents 7c6b6c3c7b79
children f7e2026dd5ae
comparison
equal deleted inserted replaced
735:5ccb67665d05 736:796e42c93c48
352 | ESignalSource e => 352 | ESignalSource e =>
353 S.map2 (mfe ctx e, 353 S.map2 (mfe ctx e,
354 fn e' => 354 fn e' =>
355 (ESignalSource e', loc)) 355 (ESignalSource e', loc))
356 356
357 | EServerCall (s, ek, t) => 357 | EServerCall (s, ek, t, eff) =>
358 S.bind2 (mfe ctx s, 358 S.bind2 (mfe ctx s,
359 fn s' => 359 fn s' =>
360 S.bind2 (mfe ctx ek, 360 S.bind2 (mfe ctx ek,
361 fn ek' => 361 fn ek' =>
362 S.map2 (mft t, 362 S.map2 (mft t,
363 fn t' => 363 fn t' =>
364 (EServerCall (s', ek', t'), loc)))) 364 (EServerCall (s', ek', t', eff), loc))))
365 | ERecv (s, ek, t) => 365 | ERecv (s, ek, t) =>
366 S.bind2 (mfe ctx s, 366 S.bind2 (mfe ctx s,
367 fn s' => 367 fn s' =>
368 S.bind2 (mfe ctx ek, 368 S.bind2 (mfe ctx ek,
369 fn ek' => 369 fn ek' =>