From 137eaa13144c2599ac29da9ebd3af24ac1ce8968 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Fri, 7 Mar 2025 15:11:59 +0100 Subject: WIP revamp accumulator projection type repr I stopped working on this because I realised that having sparse products (and coproducts, prehaps) everywhere is a very bad idea in general, and that we need to fix that first before really being able to do anything else productive with performance. --- src/AST/Count.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/AST/Count.hs') diff --git a/src/AST/Count.hs b/src/AST/Count.hs index b7079ff..c0d8d2d 100644 --- a/src/AST/Count.hs +++ b/src/AST/Count.hs @@ -128,8 +128,8 @@ occCountGeneral onehot unpush alter many = go WId EShape _ e -> re e EOp _ _ e -> re e ECustom _ _ _ _ _ _ _ a b -> re a <> re b - EWith _ a b -> re a <> re1 b - EAccum _ _ a b e -> re a <> re b <> re e + EWith _ _ a b -> re a <> re1 b + EAccum _ _ _ a b e -> re a <> re b <> re e EZero _ _ -> mempty EPlus _ _ a b -> re a <> re b EOneHot _ _ _ a b -> re a <> re b -- cgit v1.2.3-70-g09d2