Mercurial > urweb

comparison src/mono_util.sml @ 704:70cbdcf5989b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents 500e93aa436f
children d8217b4cb617
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
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.return2 dAll 468 | DTable (s, xts, e) =>
469 S.map2 (mfe ctx e,
470 fn e' =>
471 (DTable (s, xts, e'), loc))
469 | DSequence _ => S.return2 dAll 472 | DSequence _ => S.return2 dAll
470 | DDatabase _ => S.return2 dAll 473 | DDatabase _ => S.return2 dAll
471 | DJavaScript _ => S.return2 dAll 474 | DJavaScript _ => S.return2 dAll
472 475
473 and mfvi ctx (x, n, t, e, s) = 476 and mfvi ctx (x, n, t, e, s) =