Mercurial > urweb

comparison src/cjrize.sml @ 643:aa2290c32ce2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Avoid any JavaScript when pages don't need it; update demo prose
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 10:44:26 -0400
parents 63b0bcacd535
children f73913d97a40
comparison
equal deleted inserted replaced
642:4a125bbc602d 643:aa2290c32ce2
517 | L.DExport (ek, s, n, ts, t) => 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 val (t, sm) = cifyTyp (t, sm) 520 val (t, sm) = cifyTyp (t, sm)
521 in 521 in
522 (NONE, SOME (ek, "/" ^ s, n, ts, t), sm) 522 (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndClient), sm)
523 end 523 end
524 524
525 | L.DTable (s, xts) => 525 | L.DTable (s, xts) =>
526 let 526 let
527 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) => 527 val (xts, sm) = ListUtil.foldlMap (fn ((x, t), sm) =>