WIP UnMonoid (to be used for compiling to C)

1 files changed, 0 insertions, 52 deletions

diff --git a/src/CHAD.hs b/src/CHAD.hs
index 04e3ac4..aa5bd4c 100644
--- a/src/CHAD.hs
+++ b/src/CHAD.hs
@@ -320,61 +320,9 @@ indexTupD1Id (SS n) | Refl <- indexTupD1Id n = Refl
 
 zero :: STy t -> Ex env (D2 t)
 zero = EZero
--- TODO: this original definition needs to be used as the post-processing after
--- simplification, to eliminate the monoid operations from the AST
--- zero STNil = ENil ext
--- zero (STPair t1 t2) = EInl ext (STPair (d2 t1) (d2 t2)) (ENil ext)
--- zero (STEither t1 t2) = EInl ext (STEither (d2 t1) (d2 t2)) (ENil ext)
--- zero (STArr n t) = EBuild ext n (eTup (sreplicate n (EConst ext STI64 0))) (zero t)
--- zero (STScal t) = case t of
---   STI32 -> ENil ext
---   STI64 -> ENil ext
---   STF32 -> EConst ext STF32 0.0
---   STF64 -> EConst ext STF64 0.0
---   STBool -> ENil ext
--- zero STAccum{} = error "Accumulators not allowed in input program"
 
 plus :: STy t -> Ex env (D2 t) -> Ex env (D2 t) -> Ex env (D2 t)
 plus = EPlus
--- plus STNil _ _ = ENil ext
--- plus (STPair t1 t2) a b =
---   let t = STPair (d2 t1) (d2 t2)
---   in plusSparse t a b $
---        EPair ext (plus t1 (EFst ext (EVar ext t (IS IZ)))
---                           (EFst ext (EVar ext t IZ)))
---                  (plus t2 (ESnd ext (EVar ext t (IS IZ)))
---                           (ESnd ext (EVar ext t IZ)))
--- plus (STEither t1 t2) a b =
---   let t = STEither (d2 t1) (d2 t2)
---   in plusSparse t a b $
---        ECase ext (EVar ext t (IS IZ))
---          (ECase ext (EVar ext t (IS IZ))
---            (EInl ext (d2 t2) (plus t1 (EVar ext (d2 t1) (IS IZ)) (EVar ext (d2 t1) IZ)))
---            (EError t "plus l+r"))
---          (ECase ext (EVar ext t (IS IZ))
---            (EError t "plus r+l")
---            (EInr ext (d2 t1) (plus t2 (EVar ext (d2 t2) (IS IZ)) (EVar ext (d2 t2) IZ))))
--- plus STArr{} _ _ = error "TODO plus on arrays"
--- plus (STScal t) a b = case t of
---   STI32 -> ENil ext
---   STI64 -> ENil ext
---   STF32 -> EOp ext (OAdd STF32) (EPair ext a b)
---   STF64 -> EOp ext (OAdd STF64) (EPair ext a b)
---   STBool -> ENil ext
--- plus STAccum{} _ _ = error "Accumulators not allowed in input program"
-
--- plusSparse :: STy a
---            -> Ex env (TEither TNil a) -> Ex env (TEither TNil a)
---            -> Ex (a : a : env) a
---            -> Ex env (TEither TNil a)
--- plusSparse t a b adder =
---   ELet ext b $
---     ECase ext (weakenExpr WSink a)
---       (EVar ext (STEither STNil t) (IS IZ))
---       (EInr ext STNil
---         (ECase ext (EVar ext (STEither STNil t) (IS IZ))
---           (EVar ext t (IS IZ))
---           (weakenExpr (WCopy (WCopy WSink)) adder)))
 
 zeroTup :: SList STy env0 -> Ex env (Tup (D2E env0))
 zeroTup SNil = ENil ext