Mercurial > urweb

comparison src/mono_util.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents 70cbdcf5989b
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
463 S.bind2 (ListUtil.mapfold mft ts, 463 S.bind2 (ListUtil.mapfold mft ts,
464 fn ts' => 464 fn ts' =>
465 S.map2 (mft t, 465 S.map2 (mft t,
466 fn t' => 466 fn t' =>
467 (DExport (ek, s, n, ts', t'), loc))) 467 (DExport (ek, s, n, ts', t'), loc)))
468 | DTable (s, xts, e) => 468 | DTable (s, xts, pe, ce) =>
469 S.map2 (mfe ctx e, 469 S.bind2 (mfe ctx pe,
470 fn e' => 470 fn pe' =>
471 (DTable (s, xts, e'), loc)) 471 S.map2 (mfe ctx ce,
472 fn ce' =>
473 (DTable (s, xts, pe', ce'), loc)))
472 | DSequence _ => S.return2 dAll 474 | DSequence _ => S.return2 dAll
473 | DDatabase _ => S.return2 dAll 475 | DDatabase _ => S.return2 dAll
474 | DJavaScript _ => S.return2 dAll 476 | DJavaScript _ => S.return2 dAll
475 477
476 and mfvi ctx (x, n, t, e, s) = 478 and mfvi ctx (x, n, t, e, s) =