Mercurial > urweb

comparison src/mono_util.sml @ 910:8e540df3294d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
grid1 compiles but gets stuck in JS
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 13:57:56 -0400
parents 7a4b026e45dd
children cc956020801b
comparison
equal deleted inserted replaced
909:1d3f60e74ec7 910:8e540df3294d
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, ue) => 365 | EServerCall (s, ek, t, eff) =>
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.bind2 (mft t, 370 S.map2 (mft t,
371 fn t' => 371 fn t' =>
372 S.map2 (mfe ctx ue, 372 (EServerCall (s', ek', t', eff), loc))))
373 fn ue' =>
374 (EServerCall (s', ek', t', eff, ue'), loc)))))
375 | ERecv (s, ek, t) => 373 | ERecv (s, ek, t) =>
376 S.bind2 (mfe ctx s, 374 S.bind2 (mfe ctx s,
377 fn s' => 375 fn s' =>
378 S.bind2 (mfe ctx ek, 376 S.bind2 (mfe ctx ek,
379 fn ek' => 377 fn ek' =>