diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-07 23:58:03 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-07 23:58:03 +0100 |
| commit | 58d4d0b47f5e609e21132f48b727de37d06b6777 (patch) | |
| tree | 2339f67037ab37d26d5f3a50e30b005cc0bb7015 /src/Simplify.hs | |
| parent | 92ddb2263ae495c229badcc209c76a1252bd2752 (diff) | |
Remove build1
Diffstat (limited to 'src/Simplify.hs')
| -rw-r--r-- | src/Simplify.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Simplify.hs b/src/Simplify.hs index f8b4b63..66a4004 100644 --- a/src/Simplify.hs +++ b/src/Simplify.hs @@ -110,7 +110,6 @@ simplify' = \case EJust _ e -> EJust ext <$> simplify' e EMaybe _ a b e -> EMaybe ext <$> simplify' a <*> simplify' b <*> simplify' e EConstArr _ n t v -> pure $ EConstArr ext n t v - EBuild1 _ a b -> EBuild1 ext <$> simplify' a <*> simplify' b EBuild _ n a b -> EBuild ext n <$> simplify' a <*> simplify' b EFold1Inner _ a b c -> EFold1Inner ext <$> simplify' a <*> simplify' b <*> simplify' c ESum1Inner _ e -> ESum1Inner ext <$> simplify' e @@ -156,7 +155,6 @@ hasAdds = \case EJust _ e -> hasAdds e EMaybe _ a b e -> hasAdds a || hasAdds b || hasAdds e EConstArr _ _ _ _ -> False - EBuild1 _ a b -> hasAdds a || hasAdds b EBuild _ _ a b -> hasAdds a || hasAdds b EFold1Inner _ a b c -> hasAdds a || hasAdds b || hasAdds c ESum1Inner _ e -> hasAdds e |