Mercurial > urweb

comparison src/mono_util.sml @ 1848:e15234fbb163

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.tryRpc
author Adam Chlipala <adam@chlipala.net>
date Tue, 16 Apr 2013 10:55:48 -0400
parents 8958b580d026
children 98895243b5b6
comparison
equal deleted inserted replaced
1847:8958b580d026 1848:e15234fbb163
378 | ESignalSource e => 378 | ESignalSource e =>
379 S.map2 (mfe ctx e, 379 S.map2 (mfe ctx e,
380 fn e' => 380 fn e' =>
381 (ESignalSource e', loc)) 381 (ESignalSource e', loc))
382 382
383 | EServerCall (s, t, eff) => 383 | EServerCall (s, t, eff, fm) =>
384 S.bind2 (mfe ctx s, 384 S.bind2 (mfe ctx s,
385 fn s' => 385 fn s' =>
386 S.map2 (mft t, 386 S.map2 (mft t,
387 fn t' => 387 fn t' =>
388 (EServerCall (s', t', eff), loc))) 388 (EServerCall (s', t', eff, fm), loc)))
389 | ERecv (s, t) => 389 | ERecv (s, t) =>
390 S.bind2 (mfe ctx s, 390 S.bind2 (mfe ctx s,
391 fn s' => 391 fn s' =>
392 S.map2 (mft t, 392 S.map2 (mft t,
393 fn t' => 393 fn t' =>
508 | EUnurlify (e1, _, _) => appl e1 508 | EUnurlify (e1, _, _) => appl e1
509 | EJavaScript (_, e1) => appl e1 509 | EJavaScript (_, e1) => appl e1
510 | ESignalReturn e1 => appl e1 510 | ESignalReturn e1 => appl e1
511 | ESignalBind (e1, e2) => (appl e1; appl e2) 511 | ESignalBind (e1, e2) => (appl e1; appl e2)
512 | ESignalSource e1 => appl e1 512 | ESignalSource e1 => appl e1
513 | EServerCall (e1, _, _) => appl e1 513 | EServerCall (e1, _, _, _) => appl e1
514 | ERecv (e1, _) => appl e1 514 | ERecv (e1, _) => appl e1
515 | ESleep e1 => appl e1 515 | ESleep e1 => appl e1
516 | ESpawn e1 => appl e1) 516 | ESpawn e1 => appl e1)
517 in 517 in
518 appl 518 appl