More tests added for zip on tuples

Author: anatoliykmetyuk

tests/neg/tuple-ops.scala

@@ -19,3 +19,8 @@ val r6: (Int, Int, String) = a.map[[t] =>> Int]([t] => x: t => x match {  // err
 
 val r7: ((1, Foo[1]), (2), (3, Foo[3])) =
   a.map[[t] =>> (t, Foo[t])]( [t] => x: t => (x, Foo(x)) )  // error
+
+// More Zip
+val t1: Int *: Long *: Tuple = (1, 2l, 100, 200)
+val t2: Int *: Char *: Tuple = (1, 'c', 33, 42)
+val t3: (Int, Int) *: (Long, Long) *: Tuple = t1.zip(t2)  // error

tests/run/tuple-ops.check

@@ -5,3 +5,5 @@
 ()
 (1,4,9)
 ((1,Foo(1)),(2,Foo(2)),(3,Foo(3)))
+((1,1),(2,c),(100,33),(200,42))
+()

tests/run/tuple-ops.scala

@@ -21,5 +21,13 @@ val r6: (Int, Int, Int) = a.map[[t] =>> Int]([t] => x: t => x match {
 val r7: ((1, Foo[1]), (2, Foo[2]), (3, Foo[3])) =
   a.map[[t] =>> (t, Foo[t])]( [t] => x: t => (x, Foo(x)) )
 
+// More Zip
+val t1: Int *: Long *: Tuple = (1, 2l, 100, 200)
+val t2: Int *: Char *: Tuple = (1, 'c', 33, 42)
+val t3: (Int, Int) *: (Long, Char) *: Tuple = t1.zip(t2)
+
+val t4: Unit = d.zip(d)
+
 @main def Test =
-  List(r1, r2, r3, r4, r5, r6, r7).foreach(println)
+  List(r1, r2, r3, r4, r5, r6, r7, t3, t4).foreach(println)
+