summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/AST.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/AST.hs b/src/AST.hs
index fb5a45e..b8d23b4 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -89,7 +89,6 @@ 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)