diff options
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 |