diff options
author | Tom Smeding <tom@tomsmeding.com> | 2025-06-06 22:50:06 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-06 22:50:06 +0200 |
commit | 56056c98b2e3dce65a0e42bce0410c083fd1f8be (patch) | |
tree | 8db2d1be037f8f980c3d1bf76ff9078048f33d63 /src/Data/VarMap.hs | |
parent | 7bd37711ffecb7a0e202ecfd717e3a4cbbe6074f (diff) |
WIP mixed static/dynamic sparsitysparse
Diffstat (limited to 'src/Data/VarMap.hs')
-rw-r--r-- | src/Data/VarMap.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/VarMap.hs b/src/Data/VarMap.hs index 9c10421..2712b08 100644 --- a/src/Data/VarMap.hs +++ b/src/Data/VarMap.hs @@ -74,7 +74,7 @@ subMap :: Eq k => Subenv env env' -> VarMap k env -> VarMap k env' subMap subenv = let bools = let loop :: Subenv env env' -> [Bool] loop SETop = [] - loop (SEYes sub) = True : loop sub + loop (SEYesR sub) = True : loop sub loop (SENo sub) = False : loop sub in VS.fromList $ loop subenv newIndices = VS.init $ VS.scanl' (\n b -> if b then n + 1 else n) (0 :: Int) bools @@ -89,7 +89,7 @@ superMap :: Eq k => Subenv env env' -> VarMap k env' -> VarMap k env superMap subenv = let loop :: Subenv env env' -> Int -> [Int] loop SETop _ = [] - loop (SEYes sub) i = i : loop sub (i+1) + loop (SEYesR sub) i = i : loop sub (i+1) loop (SENo sub) i = loop sub (i+1) newIndices = VS.fromList $ loop subenv 0 |