Mercurial > urweb

comparison src/core_util.sml @ 2161:af3f5b58aed2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add a missed case in CoreUtil.Exp fold
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Jul 2015 16:11:24 -0400
parents b90103106177
children
comparison
equal deleted inserted replaced
2160:72fe1cc704c5 2161:af3f5b58aed2
605 case e of 605 case e of
606 EPrim _ => S.return2 eAll 606 EPrim _ => S.return2 eAll
607 | ERel _ => S.return2 eAll 607 | ERel _ => S.return2 eAll
608 | ENamed _ => S.return2 eAll 608 | ENamed _ => S.return2 eAll
609 | ECon (dk, pc, cs, NONE) => 609 | ECon (dk, pc, cs, NONE) =>
610 S.map2 (ListUtil.mapfold (mfc ctx) cs, 610 S.bind2 (mfpc ctx pc,
611 fn cs' => 611 fn pc' =>
612 (ECon (dk, pc, cs', NONE), loc))
613 | ECon (dk, n, cs, SOME e) =>
614 S.bind2 (mfe ctx e,
615 fn e' =>
616 S.map2 (ListUtil.mapfold (mfc ctx) cs, 612 S.map2 (ListUtil.mapfold (mfc ctx) cs,
617 fn cs' => 613 fn cs' =>
618 (ECon (dk, n, cs', SOME e'), loc))) 614 (ECon (dk, pc', cs', NONE), loc)))
615 | ECon (dk, pc, cs, SOME e) =>
616 S.bind2 (mfpc ctx pc,
617 fn pc' =>
618 S.bind2 (mfe ctx e,
619 fn e' =>
620 S.map2 (ListUtil.mapfold (mfc ctx) cs,
621 fn cs' =>
622 (ECon (dk, pc', cs', SOME e'), loc))))
619 | EFfi _ => S.return2 eAll 623 | EFfi _ => S.return2 eAll
620 | EFfiApp (m, x, es) => 624 | EFfiApp (m, x, es) =>
621 S.map2 (ListUtil.mapfold (mfet ctx) es, 625 S.map2 (ListUtil.mapfold (mfet ctx) es,
622 fn es' => 626 fn es' =>
623 (EFfiApp (m, x, es'), loc)) 627 (EFfiApp (m, x, es'), loc))