From 6da98aedf2f28ec8848d1cb8f5605b0c7e64d644 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 15 Mar 2025 11:32:34 +0100 Subject: Complete accumulator revamp! --- src/AST.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/AST.hs') 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) -- cgit v1.2.3-70-g09d2