diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-03-07 15:11:59 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-14 15:37:29 +0100 |
| commit | 137eaa13144c2599ac29da9ebd3af24ac1ce8968 (patch) | |
| tree | 8fc5221824f671dfc27f8064e3fc537859bb73e8 /src/AST/Count.hs | |
| parent | 1abb0c11efd2ba650c0a20de8047efbde2cc6adf (diff) | |
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.
Diffstat (limited to 'src/AST/Count.hs')
| -rw-r--r-- | src/AST/Count.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |