fix python wrappers bool being accepted as integers

Author: drblallo

lib/conversions/src/RLCToPython.cpp

@@ -450,6 +450,16 @@ namespace mlir::rlc
 				w.write(" and isinstance(args[", argument.index() - isMethod, "], ");
 				w.writeType(argument.value());
 				w.write(")");
+
+				// bool in python are integers too, so we have to guard against bools
+				// when we can accept a int
+				if (argument.value().isa<mlir::rlc::IntegerType>())
+				{
+					w.write(
+							" and not isinstance(args[",
+							argument.index() - isMethod,
+							"], builtins.bool)");
+				}
 			}
 			w.writenl(":");
 			auto _ = w.indent();

tool/rlc/test/wrappers/python_templates.rl

@@ -0,0 +1,21 @@
+# RUN: split-file %s %t
+# RUN: rlc %t/source.rl -o %t/lib%sharedext -i %stdlib --shared --pyrlc-lib=%pyrlc_lib
+# RUN: rlc %t/source.rl -o %t/wrapper.py -i %stdlib --python
+# RUN: python %t/to_run.py
+
+#--- source.rl
+fun<T> this_one(T i) -> StringLiteral:
+    if i is Int:
+        return "int"
+    if i is Bool:
+        return "bool"
+    return "none"
+
+fun asd():
+    this_one(1)
+    this_one(true)
+
+#--- to_run.py
+import wrapper
+
+assert(wrapper.this_one(True).decode("utf-8") == 'bool')