From b0b3c461701647d084f6f68160fe7afab406b12d Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 29 Oct 2024 22:33:56 +0100
Subject: Store only on tape what's used in the dual

---
 src/ForwardAD/DualNumbers.hs | 21 ---------------------
 1 file changed, 21 deletions(-)

(limited to 'src/ForwardAD/DualNumbers.hs')

diff --git a/src/ForwardAD/DualNumbers.hs b/src/ForwardAD/DualNumbers.hs
index 4f84e8d..beb93da 100644
--- a/src/ForwardAD/DualNumbers.hs
+++ b/src/ForwardAD/DualNumbers.hs
@@ -189,24 +189,3 @@ dfwdDN = \case
   where
     err_accum = error "Accumulator operations unsupported in the source program"
     err_monoid = error "Monoid operations unsupported in the source program"
-
-emap :: Ex (a : env) b -> Ex env (TArr n a) -> Ex env (TArr n b)
-emap f arr =
-  let STArr n t = typeOf arr
-  in ELet ext arr $
-       EBuild ext n (EShape ext (EVar ext (STArr n t) IZ)) $
-         ELet ext (EIdx ext (EVar ext (STArr n t) (IS IZ))
-                            (EVar ext (tTup (sreplicate n tIx)) IZ)) $
-           weakenExpr (WCopy (WSink .> WSink)) f
-
-ezip :: Ex env (TArr n a) -> Ex env (TArr n b) -> Ex env (TArr n (TPair a b))
-ezip a b =
-  let STArr n t1 = typeOf a
-      STArr _ t2 = typeOf b
-  in ELet ext a $
-     ELet ext (weakenExpr WSink b) $
-       EBuild ext n (EShape ext (EVar ext (STArr n t1) (IS IZ))) $
-         EPair ext (EIdx ext (EVar ext (STArr n t1) (IS (IS IZ)))
-                             (EVar ext (tTup (sreplicate n tIx)) IZ))
-                   (EIdx ext (EVar ext (STArr n t2) (IS IZ))
-                             (EVar ext (tTup (sreplicate n tIx)) IZ))
-- 
cgit v1.2.3-70-g09d2