Mercurial > urweb

comparison src/cjrize.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 330a7de47914
children 63b0bcacd535
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
512 sm vis 512 sm vis
513 in 513 in
514 (SOME (L'.DFunRec vis, loc), NONE, sm) 514 (SOME (L'.DFunRec vis, loc), NONE, sm)
515 end 515 end
516 516
517 | L.DExport (ek, s, n, ts) => 517 | L.DExport (ek, s, n, ts, t) =>
518 let 518 let
519 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts 519 val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
520 in 520 val (t, sm) = cifyTyp (t, sm)
521 (NONE, SOME (ek, "/" ^ s, n, ts), sm) 521 in
522 (NONE, SOME (ek, "/" ^ s, n, ts, t), sm)
522 end 523 end
523 524
524 | L.DTable (s, xts) => 525 | L.DTable (s, xts) =>
525 let 526 let
526 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) => 527 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) =>