diff options
Diffstat (limited to 'src/CHAD/Simplify.hs')
| -rw-r--r-- | src/CHAD/Simplify.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CHAD/Simplify.hs b/src/CHAD/Simplify.hs index ea253d6..a09effc 100644 --- a/src/CHAD/Simplify.hs +++ b/src/CHAD/Simplify.hs @@ -364,7 +364,7 @@ simplify'Rec = \case -- | This can be made more precise by tracking (and not counting) adds on -- locally eliminated accumulators. -hasAdds :: Expr x env t -> Bool +hasAdds :: Expr NoExt x env t -> Bool hasAdds = \case EVar _ _ _ -> False ELet _ rhs body -> hasAdds rhs || hasAdds body |