Mercurial > urweb

comparison src/cjrize.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents 0657e5adc938
children 7a31e0cf25e9
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
588 sm vis 588 sm vis
589 in 589 in
590 (SOME (L'.DFunRec vis, loc), NONE, sm) 590 (SOME (L'.DFunRec vis, loc), NONE, sm)
591 end 591 end
592 592
593 | L.DExport (ek, s, n, ts, t) => 593 | L.DExport (ek, s, n, ts, t, b) =>
594 let 594 let
595 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts 595 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
596 val (t, sm) = cifyTyp (t, sm) 596 val (t, sm) = cifyTyp (t, sm)
597 in 597 in
598 (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndPullAndPush), sm) 598 (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndPullAndPush, b), sm)
599 end 599 end
600 600
601 | L.DTable (s, xts, pe, ce) => 601 | L.DTable (s, xts, pe, ce) =>
602 let 602 let
603 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) => 603 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) =>