Mercurial > urweb

comparison src/cjrize.sml @ 693:655bcc9b77e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:03:39 -0400
parents f73913d97a40
children 500e93aa436f
comparison
equal deleted inserted replaced
692:09df0c85f306 693:655bcc9b77e0
518 | L.DExport (ek, s, n, ts, t) => 518 | L.DExport (ek, s, n, ts, t) =>
519 let 519 let
520 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts 520 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
521 val (t, sm) = cifyTyp (t, sm) 521 val (t, sm) = cifyTyp (t, sm)
522 in 522 in
523 (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndClient), sm) 523 (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndPullAndPush), sm)
524 end 524 end
525 525
526 | L.DTable (s, xts) => 526 | L.DTable (s, xts) =>
527 let 527 let
528 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) => 528 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) =>