Changeset d9fa60a for src/tests

Timestamp:

Nov 16, 2016, 4:37:50 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

186fd86

Parents:

33a7b6d

Message:

moved substituion into MemberExpr? constructor, change generated tuple structs to generic structs, tuples containing type variables almost works

File:

• src/tests/tupleFunction.c (modified) (2 diffs)

src/tests/tupleFunction.c

@@ -51 +51 @@
 }
 
-// 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 +83 @@
         [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;
 }