Add missing traversal in type inference for logical not (closes gh-789)

firedrakeproject · Jun 27, 2023 · 93fcd9c · 93fcd9c
1 parent e855c21
commit 93fcd9c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/loopy/type_inference.py b/loopy/type_inference.py
@@ -529,6 +529,8 @@ def map_comparison(self, expr):
         return [NumpyType(np.dtype(np.int32))]
 
     def map_logical_not(self, expr):
+        self.rec(expr.child)
+
         return [NumpyType(np.dtype(np.int32))]
 
     def map_logical_and(self, expr):