From 56056c98b2e3dce65a0e42bce0410c083fd1f8be Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 6 Jun 2025 22:50:06 +0200
Subject: WIP mixed static/dynamic sparsity

---
 src/AST/Count.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/AST/Count.hs')

diff --git a/src/AST/Count.hs b/src/AST/Count.hs
index 0c682c6..03a36f6 100644
--- a/src/AST/Count.hs
+++ b/src/AST/Count.hs
@@ -154,7 +154,7 @@ deleteUnused (_ `SCons` env) OccEnd k =
 deleteUnused (_ `SCons` env) (OccPush occenv (Occ _ count)) k =
   deleteUnused env occenv $ \sub ->
     case count of Zero -> k (SENo sub)
-                  _    -> k (SEYes sub)
+                  _    -> k (SEYesR sub)
 
 unsafeWeakenWithSubenv :: Subenv env env' -> Expr x env t -> Expr x env' t
 unsafeWeakenWithSubenv = \sub ->
@@ -163,7 +163,7 @@ unsafeWeakenWithSubenv = \sub ->
                      Nothing -> error "unsafeWeakenWithSubenv: Index occurred that was subenv'd away")
   where
     sinkViaSubenv :: Idx env t -> Subenv env env' -> Maybe (Idx env' t)
-    sinkViaSubenv IZ (SEYes _) = Just IZ
+    sinkViaSubenv IZ (SEYesR _) = Just IZ
     sinkViaSubenv IZ (SENo _) = Nothing
-    sinkViaSubenv (IS i) (SEYes sub) = IS <$> sinkViaSubenv i sub
+    sinkViaSubenv (IS i) (SEYesR sub) = IS <$> sinkViaSubenv i sub
     sinkViaSubenv (IS i) (SENo sub) = sinkViaSubenv i sub
-- 
cgit v1.2.3-70-g09d2