From 896e16df432ca08bf41b960fef9ec8742ab712cd Mon Sep 17 00:00:00 2001
From: Matt Wala <wala1@illinois.edu>
Date: Wed, 19 Jul 2017 01:27:47 -0500
Subject: [PATCH] Undo changes to type inference. They were not needed.

---
 loopy/type_inference.py | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/loopy/type_inference.py b/loopy/type_inference.py
index 45da8eb3e..409cbbc5e 100644
--- a/loopy/type_inference.py
+++ b/loopy/type_inference.py
@@ -443,7 +443,7 @@ def _infer_var_type(kernel, var_name, type_inf_mapper, subst_expander):
                         result_i = comp_dtype_set
                         break
 
-                assert found, var_name
+                assert found
                 if result_i is not None:
                     result.append(result_i)
 
@@ -672,11 +672,6 @@ def infer_arg_and_reduction_dtypes_for_reduction_expression(
                 raise LoopyError("failed to determine type of accumulator for "
                         "reduction '%s'" % expr)
 
-    arg_dtypes = tuple(
-            dt.with_target(kernel.target)
-            if dt is not lp.auto else dt
-            for dt in arg_dtypes)
-
     reduction_dtypes = expr.operation.result_dtypes(kernel, *arg_dtypes)
     reduction_dtypes = tuple(
             dt.with_target(kernel.target)
-- 
GitLab