Mercurial > urweb
comparison src/cjrize.sml @ 609:56aaa1941dad
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) => |