diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-18 14:10:47 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-18 14:10:47 +0200 |
| commit | a4b3eb76acbec30ffeae119a4dc6e4c9f64396fe (patch) | |
| tree | e22169259a01689d1053fa8650aedbb8a194d31c | |
| parent | 48e4977f3e0a88ff24410987b80bf6003c45dfb7 (diff) | |
Some more effects to not ignoresparse
| -rw-r--r-- | src/AST/Sparse.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/AST/Sparse.hs b/src/AST/Sparse.hs index 34a398f..93258b7 100644 --- a/src/AST/Sparse.hs +++ b/src/AST/Sparse.hs @@ -16,7 +16,7 @@ import Data (SBool(..)) sparsePlus :: SMTy t -> Sparse t t' -> Ex env t' -> Ex env t' -> Ex env t' -sparsePlus _ SpAbsent _ _ = ENil ext +sparsePlus _ SpAbsent e1 e2 = use e1 $ use e2 $ ENil ext sparsePlus t sp e1 e2 | Just Refl <- isDense t sp = EPlus ext t e1 e2 sparsePlus t (SpSparse sp) e1 e2 = sparsePlus (SMTMaybe t) (SpMaybe sp) e1 e2 -- heh sparsePlus (SMTPair t1 t2) (SpPair sp1 sp2) e1 e2 = |