From d030802dd6d960afa80ac84a5580a46d39c02822 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 20 Mar 2025 18:32:22 +0100 Subject: Commutativity marker on fold1i --- src/Language/AST.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Language/AST.hs') diff --git a/src/Language/AST.hs b/src/Language/AST.hs index 387915b..b36e151 100644 --- a/src/Language/AST.hs +++ b/src/Language/AST.hs @@ -185,7 +185,7 @@ fromNamedExpr val = \case NEConstArr n t x -> EConstArr ext n t x NEBuild k a n b -> EBuild ext k (go a) (lambda val n b) - NEFold1Inner n1 n2 a b c -> EFold1Inner ext (lambda2 val n1 n2 a) (go b) (go c) + NEFold1Inner n1 n2 a b c -> EFold1Inner ext Noncommut (lambda2 val n1 n2 a) (go b) (go c) NESum1Inner e -> ESum1Inner ext (go e) NEUnit e -> EUnit ext (go e) NEReplicate1Inner a b -> EReplicate1Inner ext (go a) (go b) -- cgit v1.2.3-70-g09d2