diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-07-23 21:09:59 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-07-23 21:09:59 +0200 |
| commit | f6b5850f949eb671f0c7038db6dff80ca23ed946 (patch) | |
| tree | 9cbf14f3fe9512044b744549a4bad85a2a6a3cc0 /src/CHAD.hs | |
| parent | 888bf4ed19afb2970a5f449fc285d3ef217baed8 (diff) | |
WIP pruneExpr in AST.Countfancy-count
Diffstat (limited to 'src/CHAD.hs')
| -rw-r--r-- | src/CHAD.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 -> |