Add tests on non empty tuples of unknown size

Author: nicolasstucki

tests/run-deep-subtype/Tuple-head.scala

@@ -3,6 +3,14 @@ import scala.reflect.ClassTag
 object Test {
   def main(args: Array[String]): Unit = {
 
+    def testArray[T: ClassTag](n: Int, elem: Int => T): Unit = {
+      val t: Int *: Tuple = 0 *: Tuple.fromArray(Array.tabulate(n)(elem))
+      assert(0 == t.head)
+    }
+
+    for (i <- 0 to 25)
+      testArray(i, j => j)
+
     assert(1 == Tuple1(1).head)
     assert(1 == (1, 2).head)
     assert(1 == (1, 2, 3).head)

tests/run-deep-subtype/Tuple-tail.check

@@ -1,4 +1,30 @@
 ()
+(0)
+(0,1)
+(0,1,2)
+(0,1,2,3)
+(0,1,2,3,4)
+(0,1,2,3,4,5)
+(0,1,2,3,4,5,6)
+(0,1,2,3,4,5,6,7)
+(0,1,2,3,4,5,6,7,8)
+(0,1,2,3,4,5,6,7,8,9)
+(0,1,2,3,4,5,6,7,8,9,10)
+(0,1,2,3,4,5,6,7,8,9,10,11)
+(0,1,2,3,4,5,6,7,8,9,10,11,12)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23)
+(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24)
+()
 (2)
 (2,3)
 (2,3,4)

tests/run-deep-subtype/Tuple-tail.scala

@@ -3,6 +3,14 @@ import scala.reflect.ClassTag
 object Test {
   def main(args: Array[String]): Unit = {
 
+    def testArray[T: ClassTag](n: Int, elem: Int => T): Unit = {
+      val t: Int *: Tuple = 0 *: Tuple.fromArray(Array.tabulate(n)(elem))
+      println(t.tail)
+    }
+
+    for (i <- 0 to 25)
+      testArray(i, j => j)
+
     println(Tuple1(1).tail)
     println((1, 2).tail)
     println((1, 2, 3).tail)