From 9b7c3eea7e34f5eb0d91f93b803e853028c2cec8 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 22 Nov 2025 22:41:09 +0100
Subject: WIP: Think about fusion

---
 src/CHAD/Simplify.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/CHAD/Simplify.hs')

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
-- 
cgit v1.2.3-70-g09d2