Mercurial > urweb

comparison src/mono_util.sml @ 905:7a4b026e45dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Aug 2009 16:13:27 -0400
parents 493f44759879
children 8e540df3294d
comparison
equal deleted inserted replaced
904:6d9538ce94d8 905:7a4b026e45dd
360 | ESignalSource e => 360 | ESignalSource e =>
361 S.map2 (mfe ctx e, 361 S.map2 (mfe ctx e,
362 fn e' => 362 fn e' =>
363 (ESignalSource e', loc)) 363 (ESignalSource e', loc))
364 364
365 | EServerCall (s, ek, t, eff) => 365 | EServerCall (s, ek, t, eff, ue) =>
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' =>
370 S.map2 (mft t, 370 S.bind2 (mft t,
371 fn t' => 371 fn t' =>
372 (EServerCall (s', ek', t', eff), loc)))) 372 S.map2 (mfe ctx ue,
373 fn ue' =>
374 (EServerCall (s', ek', t', eff, ue'), loc)))))
373 | ERecv (s, ek, t) => 375 | ERecv (s, ek, t) =>
374 S.bind2 (mfe ctx s, 376 S.bind2 (mfe ctx s,
375 fn s' => 377 fn s' =>
376 S.bind2 (mfe ctx ek, 378 S.bind2 (mfe ctx ek,
377 fn ek' => 379 fn ek' =>