Index: src/tests/tupleFunction.c
===================================================================
--- src/tests/tupleFunction.c	(revision 33a7b6db7e7a3b3fa85ef51cb227fdc43223b1fd)
+++ src/tests/tupleFunction.c	(revision d9fa60af0bc172d6842f414cb608e0615d3582a5)
@@ -51,18 +51,10 @@
 }
 
-// forall(otype T | { T ?+?(T, T); })
-// [T, T, T] ?+?([T, T, T] x, [T, T, T] y) {
-// 	T x1, x2, x3, y1, y2, y3;
-// 	[x1, x2, x3] = x;
-// 	[y1, y2, y3] = y;
-// 	return [x1+y1, x2+y2, x3+y3];
-// }
+int main() {
+	[int, double, int] x = [777, 2.76, 8675];
+	int x1 = 123, x3 = 456;
+	double x2 = 999.123;
 
-int main() {
-  [int, double, int] x = [777, 2.76, 8675];
-  int x1 = 123, x3 = 456;
-  double x2 = 999.123;
-
-  printf("foo(...)=%d\n", foo(x1, x3, x2, (S){ 321, 654, 'Q', 3.14 }));
+	printf("foo(...)=%d\n", foo(x1, x3, x2, (S){ 321, 654, 'Q', 3.14 }));
 
 	// call function with tuple parameter using tuple variable arg
@@ -91,4 +83,12 @@
 	[x1, x2, x3] = quux();
 	printf("x1=%d x2=%lg x3=%d\n", x1, x2, x3);
+
+	// xxx - tuples of type parameters should come out as generic types?
+	// [x1, x2, x3] = ([(int)x1, (int)x2, (int)x3]) + ([(int)1, (int)2, (int)3]);
+	// ([(int)x1, (int)x2, (int)x3]) + ([(int)1, (int)2, (int)3]);
+	// printf("%d %g %d\n", x1, x2, x3);
+
+	// xxx - comes out the back as a cast, but should come out as a tuple expression of the first n fields cast to each of the result types
+	// ([int, double])x;
 }