Mercurial > urweb

comparison src/mono_util.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents 0657e5adc938
children 7a31e0cf25e9
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
505 in 505 in
506 S.map2 (ListUtil.mapfold (mfvi ctx') vis, 506 S.map2 (ListUtil.mapfold (mfvi ctx') vis,
507 fn vis' => 507 fn vis' =>
508 (DValRec vis', loc)) 508 (DValRec vis', loc))
509 end 509 end
510 | DExport (ek, s, n, ts, t) => 510 | DExport (ek, s, n, ts, t, b) =>
511 S.bind2 (ListUtil.mapfold mft ts, 511 S.bind2 (ListUtil.mapfold mft ts,
512 fn ts' => 512 fn ts' =>
513 S.map2 (mft t, 513 S.map2 (mft t,
514 fn t' => 514 fn t' =>
515 (DExport (ek, s, n, ts', t'), loc))) 515 (DExport (ek, s, n, ts', t', b), loc)))
516 | DTable (s, xts, pe, ce) => 516 | DTable (s, xts, pe, ce) =>
517 S.bind2 (mfe ctx pe, 517 S.bind2 (mfe ctx pe,
518 fn pe' => 518 fn pe' =>
519 S.map2 (mfe ctx ce, 519 S.map2 (mfe ctx ce,
520 fn ce' => 520 fn ce' =>