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/Interpreter.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Interpreter.hs') diff --git a/src/Interpreter.hs b/src/Interpreter.hs index 11184c9..3cc7ae4 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -94,7 +94,7 @@ interpret'Rec env = \case EBuild _ dim a b -> do sh <- unTupRepIdx ShNil ShCons dim <$> interpret' env a arrayGenerateM sh (\idx -> interpret' (Value (tupRepIdx ixUncons dim idx) `SCons` env) b) - EFold1Inner _ a b c -> do + EFold1Inner _ _ a b c -> do let f = \x y -> interpret' (Value y `SCons` Value x `SCons` env) a x0 <- interpret' env b arr <- interpret' env c -- cgit v1.2.3-70-g09d2