Rename test/Interpreter/variadic_generic_types.swift to variadic_generic_tuples.swift and add more tests

Author: slavapestov

test/Interpreter/variadic_generic_tuples.swift

@@ -0,0 +1,60 @@
+// RUN: %target-run-simple-swift(-enable-experimental-feature VariadicGenerics)
+
+// FIXME: Fix the optimizer
+// REQUIRES: swift_test_mode_optimize_none
+
+// REQUIRES: executable_test
+
+// Because of -enable-experimental-feature VariadicGenerics
+// REQUIRES: asserts
+
+import StdlibUnittest
+
+var tuples = TestSuite("VariadicGenericTuples")
+
+// Metadata instantiation for tuples containing pack expansions
+
+func makeTuple<each T>(_: repeat (each T).Type) -> Any.Type {
+  return (repeat Array<each T>).self
+}
+
+tuples.test("makeTuple") {
+  expectEqual("()", _typeName(makeTuple()))
+
+  // FIXME: This should unwrap the one-element tuple!
+  expectEqual("(Swift.Array<Swift.Int>)", _typeName(makeTuple(Int.self)))
+
+  expectEqual("(Swift.Array<Swift.Int>, Swift.Array<Swift.String>)", _typeName(makeTuple(Int.self, String.self)))
+  expectEqual("(Swift.Array<Swift.Int>, Swift.Array<Swift.String>, Swift.Array<Swift.Float>)", _typeName(makeTuple(Int.self, String.self, Float.self)))
+}
+
+func makeTuple2<each T>(_: repeat (each T).Type) -> Any.Type {
+  return (Int, repeat Array<each T>).self
+}
+
+tuples.test("makeTuple2") {
+  // FIXME: This should unwrap the one-element tuple!
+  expectEqual("(Swift.Int)", _typeName(makeTuple2()))
+
+  expectEqual("(Swift.Int, Swift.Array<Swift.Bool>)", _typeName(makeTuple2(Bool.self)))
+  expectEqual("(Swift.Int, Swift.Array<Swift.Bool>, Swift.Array<Swift.Character>)", _typeName(makeTuple2(Bool.self, Character.self)))
+  expectEqual("(Swift.Int, Swift.Array<Swift.Bool>, Swift.Array<Swift.Character>, Swift.Array<Swift.Double>)", _typeName(makeTuple2(Bool.self, Character.self, Double.self)))
+}
+
+func makeTuple3<each T, each U>(t: repeat (each T).Type, u: repeat (each U).Type) -> Any.Type {
+  return (repeat each T, repeat each U).self
+}
+
+tuples.test("makeTuple3") {
+  expectEqual("()", _typeName(makeTuple3()))
+
+  // FIXME: This should unwrap the one-element tuple!
+  expectEqual("(Swift.Int)", _typeName(makeTuple3(t: Int.self)))
+
+  // FIXME: This should unwrap the one-element tuple!
+  expectEqual("(Swift.Int)", _typeName(makeTuple3(u: Int.self)))
+
+  expectEqual("(Swift.Int, Swift.Float)", _typeName(makeTuple3(t: Int.self, u: Float.self)))
+}
+
+runAllTests()