Mercurial > urweb
comparison src/core_util.sml @ 2161:af3f5b58aed2
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)) |