diff options
| -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 = |