Mercurial > urweb
diff src/elab_ops.sml @ 990:46803e668a89
Fix a de Bruijn index bug in map fusion
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 06 Oct 2009 10:15:26 -0400 |
| parents | 7a4b026e45dd |
| children | a779402841f6 |
line wrap: on
line diff
--- a/src/elab_ops.sml Mon Oct 05 17:24:21 2009 -0400 +++ b/src/elab_ops.sml Tue Oct 06 10:15:26 2009 -0400 @@ -242,6 +242,9 @@ (case #1 (hnormCon env f') of CMap (dom, _) => let + val inner_f = liftConInCon 0 inner_f + val f = liftConInCon 0 f + val f' = (CApp (inner_f, (CRel 0, loc)), loc) val f' = (CApp (f, f'), loc) val f' = (CAbs ("v", dom, f'), loc)