From 0e84370511179878aa0ebae8bf43810efac194a5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 6 Oct 2009 10:15:26 -0400
Subject: Fix a de Bruijn index bug in map fusion

---
 src/elab_ops.sml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/elab_ops.sml')

diff --git a/src/elab_ops.sml b/src/elab_ops.sml
index b5292e9b..f005ab04 100644
--- a/src/elab_ops.sml
+++ b/src/elab_ops.sml
@@ -242,6 +242,9 @@ fun hnormCon env (cAll as (c, loc)) =
                                            (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)
-- 
cgit v1.2.3