From 2cf9a07dfda3f8f1b0ce52281409ac200795b6fc Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 7 Nov 2024 09:40:09 -0600
Subject: [PATCH] FlattenMapper: claim everything is an integer

(for now, matches existing behavior, but is clearly incorrect)
---
 loopy/symbolic.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/loopy/symbolic.py b/loopy/symbolic.py
index 383d84a35..ad502e1a5 100644
--- a/loopy/symbolic.py
+++ b/loopy/symbolic.py
@@ -205,7 +205,9 @@ def map_resolved_function(self, expr, *args, **kwargs):
 
 
 class FlattenMapper(FlattenMapperBase, IdentityMapperMixin):
-    pass
+    # FIXME: Lies! This needs to be made precise.
+    def is_expr_integer_valued(self, expr: ExpressionT) -> bool:
+        return True
 
 
 def flatten(expr: ArithmeticOrExpressionT) -> ArithmeticOrExpressionT: