From f6b5850f949eb671f0c7038db6dff80ca23ed946 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Wed, 23 Jul 2025 21:09:59 +0200
Subject: WIP pruneExpr in AST.Count

---
 src/CHAD.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/CHAD.hs')

diff --git a/src/CHAD.hs b/src/CHAD.hs
index 143376a..dcb10aa 100644
--- a/src/CHAD.hs
+++ b/src/CHAD.hs
@@ -1055,7 +1055,7 @@ drev des accumMap sd = \case
     , let eltty = typeOf orige
     , shty :: STy shty <- tTup (sreplicate ndim tIx)
     , Refl <- indexTupD1Id ndim ->
-    deleteUnused (descrList des) (occEnvPop (occCountAll orige)) $ \(usedSub :: Subenv env env') ->
+    deleteUnused (descrList des) (occEnvPopSome (occCountAll orige)) $ \(usedSub :: Subenv env env') ->
     let e = unsafeWeakenWithSubenv (SEYesR usedSub) orige in
     subDescr des usedSub $ \(usedDes :: Descr env' _) subMergeUsed subAccumUsed subD1eUsed ->
     accumPromote sdElt usedDes $ \prodes (envPro :: SList _ envPro) proSub proAccRevSub accumMapProPart wPro ->
-- 
cgit v1.2.3-70-g09d2