From ed10756e9685d42933cda361cf33f414845e39aa Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 25 Apr 2025 13:32:52 +0200 Subject: Remove done TODO --- src/AST.hs | 1 - 1 file changed, 1 deletion(-) 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) -- cgit v1.2.3-70-g09d2