Add singleton ops tests suggested by review

Author: MaximeKjaer

tests/neg/singleton-ops-match-type-scrutinee.scala

@@ -0,0 +1,12 @@
+import scala.compiletime.int._
+
+object Test {
+  type Max2[A <: Int, B <: Int] <: Int = (A < B) match {
+    case true => B
+    case false => A
+  }
+  val t0: Max2[-1, 10] = 10
+  val t1: Max2[4, 2] = 4
+  val t2: Max2[2, 2] = 1 // error
+  val t3: Max2[-1, -1] = 0 // error
+}

tests/neg/singleton-ops-recursive-match-type.scala

@@ -0,0 +1,12 @@
+import scala.compiletime.int._
+
+object Test {
+  type GCD[A <: Int, B <: Int] <: Int = B match {
+    case 0 => A
+    case _ => GCD[B, A % B]
+  }
+  val t0: GCD[10, 0] = 10
+  val t1: GCD[252, 105] = 21
+  val t3: GCD[105, 147] = 10 // error
+  val t4: GCD[1, 1] = -1 // error
+}

tests/neg/singleton-ops-type-alias.scala

@@ -0,0 +1,9 @@
+import scala.compiletime.boolean._
+
+object Test {
+  type Xor[A <: Boolean, B <: Boolean] = (A && ![B]) || (![A] && B)
+  val t0: Xor[true, true] = false
+  val t1: Xor[false, true] = true
+  val t2: Xor[true, false] = false // error
+  val t3: Xor[false, false] = true // error
+}

tests/neg/compiletime-singleton-ops.scala renamed to tests/neg/singleton-ops.scala

@@ -3,6 +3,11 @@ import scala.compiletime.int._
 import scala.compiletime.boolean._
 
 object Test {
+  summon[2 + 3 =:= 6 - 1]
+  summon[1763 =:= 41 * 43]
+  summon[2 + 2 =:= 3] // error
+  summon[29 * 31 =:= 900] // error
+
   val t0: 2 + 3 = 5
   val t1: 2 + 2 = 5 // error
   val t2: -1 + 1 = 0
@@ -87,31 +92,4 @@ object Test {
   val t65: ![false] = true
   val t66: ![true] = true // error
   val t67: ![false] = false // error
-
-  // Test singleton ops in type alias:
-  type Xor[A <: Boolean, B <: Boolean] = (A && ![B]) || (![A] && B)
-  val t68: Xor[true, true] = false
-  val t69: Xor[false, true] = true
-  val t70: Xor[true, false] = false // error
-  val t71: Xor[false, false] = true // error
-
-  // Test singleton ops in recursive match types:
-  type GCD[A <: Int, B <: Int] <: Int = B match {
-    case 0 => A
-    case _ => GCD[B, A % B]
-  }
-  val t72: GCD[10, 0] = 10
-  val t73: GCD[252, 105] = 21
-  val t74: GCD[105, 147] = 10 // error
-  val t75: GCD[1, 1] = -1 // error
-
-  // Test singleton ops in match type scrutinee:
-  type Max2[A <: Int, B <: Int] <: Int = (A < B) match {
-    case true => B
-    case false => A
-  }
-  val t76: Max[-1, 10] = 10
-  val t77: Max[4, 2] = 4
-  val t78: Max[2, 2] = 1 // error
-  val t79: Max[-1, -1] = 0 // error
 }

tests/pos/singleton-ops-composition.scala

@@ -0,0 +1,9 @@
+import scala.compiletime.int._
+import scala.compiletime.boolean._
+
+object Test {
+  val t0: 1 + 2 * 3 = 7
+  val t1: (2 * 7 + 1) % 10 = 5
+  val t3: 1 * 1 + 2 * 2 + 3 * 3 + 4 * 4 = 30
+  val t4: true && false || true && true || false ^ false = true
+}