diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-11-22 22:41:09 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-11-22 22:41:09 +0100 |
| commit | 9b7c3eea7e34f5eb0d91f93b803e853028c2cec8 (patch) | |
| tree | 25b906bb49218d2743631d0c83e23717012e3b9b /src/CHAD/Simplify.hs | |
| parent | b4f07c673b7c710f5861bb84e67233c63336c53d (diff) | |
WIP: Think about fusionfusion
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 |