[bool] Eager operators.

3 files changed, 26 insertions, 5 deletions

diff --git a/CiResolver.cs b/CiResolver.cs
index 9701a01..8a2cd0e 100644
--- a/CiResolver.cs
+++ b/CiResolver.cs
@@ -248,9 +248,9 @@ public class CiResolver : CiVisitor
 
 	delegate CiRangeType UnsignedOp(CiRangeType left, CiRangeType right);
 
-	bool IsEnumFlags(CiExpr left, CiExpr right)
+	bool IsEnumOp(CiExpr left, CiExpr right)
 	{
-		if (left.Type is CiEnumFlags) {
+		if (left.Type is CiEnumFlags || left.Type == CiSystem.BoolType) {
 			Coerce(right, left.Type);
 			return true;
 		}
@@ -279,7 +279,7 @@ public class CiResolver : CiVisitor
 			}
 			return range;
 		}
-		if (IsEnumFlags(left, right))
+		if (IsEnumOp(left, right))
 			return left.Type;
 		return GetIntegerType(left, right);
 	}
@@ -848,7 +848,7 @@ public class CiResolver : CiVisitor
 		case CiToken.OrAssign:
 		case CiToken.XorAssign:
 			CheckLValue(left);
-			if (!IsEnumFlags(left, right)) {
+			if (!IsEnumOp(left, right)) {
 				Coerce(left, CiSystem.IntType);
 				Coerce(right, CiSystem.IntType);
 			}
diff --git a/test/OpBoolLogic.ci b/test/OpBoolLogic.ci
new file mode 100644
index 0000000..432bea6
--- /dev/null
+++ b/test/OpBoolLogic.ci
@@ -0,0 +1,11 @@
+public static class Test
+{
+	public static bool Run()
+	{
+		bool t = true;
+		bool f = false;
+		return (t & !f) //FAIL: python swift ts TODO
+			&& (t | f)
+			&& (t ^ f);
+	}
+}
diff --git a/test/OpNot.ci b/test/OpNot.ci
index 40a4294..af8a39d 100644
--- a/test/OpNot.ci
+++ b/test/OpNot.ci
@@ -2,7 +2,17 @@ public static class Test
 {
 	public static bool Run()
 	{
+		int i = 5;
 		bool a = false;
-		return !a;
+		bool t = true;
+		return !a
+			&& !(a && a)
+			&& !(a && !a) //FAIL: python TODO
+			&& !(a & a) //FAIL: swift ts TODO
+			&& !(a & !a)
+			&& !(!t & a)
+			&& (!a | !a)
+			&& !(i == 0)
+			&& !(i != 5);
 	}
 }