aboutsummaryrefslogtreecommitdiff
path: root/src/AST/Sparse.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/AST/Sparse.hs')
-rw-r--r--src/AST/Sparse.hs3
1 files changed, 0 insertions, 3 deletions
diff --git a/src/AST/Sparse.hs b/src/AST/Sparse.hs
index 93258b7..2a29799 100644
--- a/src/AST/Sparse.hs
+++ b/src/AST/Sparse.hs
@@ -85,9 +85,6 @@ withInj2 (Inj f) (Inj g) k = Inj (k f g)
withInj2 Noinj _ _ = Noinj
withInj2 _ Noinj _ = Noinj
-use :: Ex env a -> Ex env b -> Ex env b
-use a b = elet a $ weakenExpr WSink b
-
-- | This function produces quadratically-sized code in the presence of nested
-- dynamic sparsity. TODO can this be improved?
sparsePlusS