generalize operator+(int i, T A) to template form

Sven Verdoolaege · Sven Verdoolaege · commit 9904d3017685 · 2018-07-24T17:54:39.000+02:00
This will ensure that it also applies to templated isl types derived
from isl::aff.
diff --git a/tc/external/detail/islpp-inl.h b/tc/external/detail/islpp-inl.h
@@ -41,7 +41,8 @@ inline isl::aff operator/(isl::aff A, int i) {
   return A.scale_down(isl::val(A.get_ctx(), i));
 }
 
-inline isl::aff operator+(int i, isl::aff A) {
+template <typename T>
+inline isl::aff operator+(int i, T A) {
   return A.add_constant_si(i);
 }
 
diff --git a/tc/external/detail/islpp.h b/tc/external/detail/islpp.h
@@ -128,7 +128,6 @@ isl::aff operator*(isl::val V, isl::aff A);
 
 isl::aff operator/(isl::aff A, int i);
 
-isl::aff operator+(int i, isl::aff A);
 isl::aff operator+(isl::aff A, int i);
 isl::aff operator+(isl::aff A, isl::val v);
 isl::aff operator+(isl::val v, isl::aff A);

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,8 @@ inline isl::aff operator/(isl::aff A, int i) {`
`41`	`41`	`return A.scale_down(isl::val(A.get_ctx(), i));`
`42`	`42`	`}`
`43`	`43`
`44`		`-inline isl::aff operator+(int i, isl::aff A) {`
	`44`	`+template <typename T>`
	`45`	`+inline isl::aff operator+(int i, T A) {`
`45`	`46`	`return A.add_constant_si(i);`
`46`	`47`	`}`
`47`	`48`