diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-28 11:56:40 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-28 11:56:40 +0100 |
| commit | 955af83f664639701fdbee54718186e07b31d42f (patch) | |
| tree | 30353d77c69b1dfdaf43797942dbf6e412a49450 /src/AST/UnMonoid.hs | |
| parent | 765b80616583322226284266605ab3a916da01db (diff) | |
Better fold D{1,2} primitives
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 555f0ec..6904715 100644 --- a/src/AST/UnMonoid.hs +++ b/src/AST/UnMonoid.hs @@ -45,7 +45,7 @@ unMonoid = \case EMaximum1Inner _ e -> EMaximum1Inner ext (unMonoid e) EMinimum1Inner _ e -> EMinimum1Inner ext (unMonoid e) EFold1InnerD1 _ cm a b c -> EFold1InnerD1 ext cm (unMonoid a) (unMonoid b) (unMonoid c) - EFold1InnerD2 _ cm t2 a b c d e -> EFold1InnerD2 ext cm t2 (unMonoid a) (unMonoid b) (unMonoid c) (unMonoid d) (unMonoid e) + EFold1InnerD2 _ cm a b c d e -> EFold1InnerD2 ext cm (unMonoid a) (unMonoid b) (unMonoid c) (unMonoid d) (unMonoid e) EConst _ t x -> EConst ext t x EIdx0 _ e -> EIdx0 ext (unMonoid e) EIdx1 _ a b -> EIdx1 ext (unMonoid a) (unMonoid b) |