From a4b3eb76acbec30ffeae119a4dc6e4c9f64396fe Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 18 Jun 2025 14:10:47 +0200 Subject: Some more effects to not ignore --- src/AST/Sparse.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 = -- cgit v1.2.3-70-g09d2