diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-30 15:58:08 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-30 15:58:08 +0100 |
| commit | 4c9ae47dd5bbd27b1acb6dc5d4a55657ac1f026f (patch) | |
| tree | e371c4962f1beee96cc68d55accffab16e18b97a /src/AST/UnMonoid.hs | |
| parent | 4d456e4d34b1e4fb3725051d1b8a0c376b704692 (diff) | |
Simplify foldD2 to not sum x0 contributions
Diffstat (limited to 'src/AST/UnMonoid.hs')
| -rw-r--r-- | src/AST/UnMonoid.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/AST/UnMonoid.hs b/src/AST/UnMonoid.hs index e5a9708..a22b73f 100644 --- a/src/AST/UnMonoid.hs +++ b/src/AST/UnMonoid.hs @@ -46,7 +46,7 @@ unMonoid = \case EMinimum1Inner _ e -> EMinimum1Inner ext (unMonoid e) EReshape _ n a b -> EReshape ext n (unMonoid a) (unMonoid b) EFold1InnerD1 _ cm a b c -> EFold1InnerD1 ext cm (unMonoid a) (unMonoid b) (unMonoid c) - EFold1InnerD2 _ cm a b c d e -> EFold1InnerD2 ext cm (unMonoid a) (unMonoid b) (unMonoid c) (unMonoid d) (unMonoid e) + EFold1InnerD2 _ cm a b c -> EFold1InnerD2 ext cm (unMonoid a) (unMonoid b) (unMonoid c) EConst _ t x -> EConst ext t x EIdx0 _ e -> EIdx0 ext (unMonoid e) EIdx1 _ a b -> EIdx1 ext (unMonoid a) (unMonoid b) |