Add tests for TypeRepr.isTupleN

scala · Aug 26, 2021 · cff28af · cff28af
1 parent 96e6a5a
commit cff28af
Show file tree

Hide file tree

Showing 2 changed files with 46 additions and 0 deletions.
diff --git a/tests/run-macros/TypeRepr-isTupleN/Macro_1.scala b/tests/run-macros/TypeRepr-isTupleN/Macro_1.scala
@@ -0,0 +1,8 @@
+import scala.quoted.*
+
+inline def isTupleN[T]: Boolean = ${ isTupleNImpl[T] }
+
+private def isTupleNImpl[T: Type](using Quotes): Expr[Boolean] = {
+  import quotes.reflect.*
+  Expr(TypeRepr.of[T].isTupleN)
+}
diff --git a/tests/run-macros/TypeRepr-isTupleN/Test_2.scala b/tests/run-macros/TypeRepr-isTupleN/Test_2.scala
@@ -0,0 +1,38 @@
+@main def Test = {
+  assert(isTupleN[Tuple1[Int]])
+  assert(isTupleN[(Int, Int)])
+  assert(isTupleN[(Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+  assert(isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)])
+
+  type Tup = (Int, Int)
+  assert(isTupleN[Tup])
+
+  assert(!isTupleN[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)]) // No tuple 23
+  assert(!isTupleN[Tuple])
+  assert(!isTupleN[EmptyTuple])
+  assert(!isTupleN[NonEmptyTuple])
+  assert(!isTupleN[Int *: Tuple])
+
+  assert(!isTupleN[Any])
+  assert(!isTupleN[Int])
+  assert(!isTupleN[Object])
+  assert(!isTupleN[Nothing])
+}