diff options
Diffstat (limited to 'src/Simplify.hs')
| -rw-r--r-- | src/Simplify.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Simplify.hs b/src/Simplify.hs index ac1bb8b..0bf5482 100644 --- a/src/Simplify.hs +++ b/src/Simplify.hs @@ -171,7 +171,7 @@ simplify' = \case EMaybe _ a b e -> EMaybe ext <$> simplify' a <*> simplify' b <*> simplify' e EConstArr _ n t v -> pure $ EConstArr ext n t v EBuild _ n a b -> EBuild ext n <$> simplify' a <*> simplify' b - EFold1Inner _ a b c -> EFold1Inner ext <$> simplify' a <*> simplify' b <*> simplify' c + EFold1Inner _ cm a b c -> EFold1Inner ext cm <$> simplify' a <*> simplify' b <*> simplify' c ESum1Inner _ e -> ESum1Inner ext <$> simplify' e EUnit _ e -> EUnit ext <$> simplify' e EReplicate1Inner _ a b -> EReplicate1Inner ext <$> simplify' a <*> simplify' b @@ -224,7 +224,7 @@ hasAdds = \case EMaybe _ a b e -> hasAdds a || hasAdds b || hasAdds e EConstArr _ _ _ _ -> False EBuild _ _ a b -> hasAdds a || hasAdds b - EFold1Inner _ a b c -> hasAdds a || hasAdds b || hasAdds c + EFold1Inner _ _ a b c -> hasAdds a || hasAdds b || hasAdds c ESum1Inner _ e -> hasAdds e EUnit _ e -> hasAdds e EReplicate1Inner _ a b -> hasAdds a || hasAdds b |