Complete accumulator revamp!

1 files changed, 1 insertions, 0 deletions

diff --git a/src/AST.hs b/src/AST.hs
index 1cdd710..ecd4647 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -89,6 +89,7 @@ data Expr x env t where
 
   -- accumulation effect on monoids
   EWith :: x (TPair a (D2 t)) -> STy t -> Expr x env (D2 t) -> Expr x (TAccum t : env) a -> Expr x env (TPair a (D2 t))
+  -- TODO: let this contain a OneHotTerm that is shared with EOneHot for uniformity in Simplify
   EAccum :: x TNil -> STy t -> SAcPrj p t a -> Expr x env (AcIdx p t) -> Expr x env (D2 a) -> Expr x env (TAccum t) -> Expr x env TNil
 
   -- monoidal operations (to be desugared to regular operations after simplification)