Changeset d60a4c2 for tests/tuple

Timestamp:

Jan 11, 2025, 5:48:46 PM (13 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

f886608

Parents:

7d65715f (diff), 32a119e9 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

tests/tuple

Files:

• tupleAssign.cfa (modified) (1 diff)
• tuplePolymorphism.cfa (modified) (1 diff)
• tupleVariadic.cfa (modified) (2 diffs)

tests/tuple/tupleAssign.cfa

@@ -48 +48 @@
                         int z;
                 } x;
-                X ?=?(X & x, double d) { return x; }
+                X ?=?(X & x, double) { return x; }
                 [int, double, int] t;
 

tests/tuple/tuplePolymorphism.cfa

@@ -66 +66 @@
 forall(T)
 [T, T] foo([T, T] y) {
+        (void) y;
         [T, T] x;
         return x;

tests/tuple/tupleVariadic.cfa

@@ -98 +98 @@
 }
 
-forall(T... | { void foo(T); }) void bar(T x) {}
+forall(T... | { void foo(T); }) void bar( T ) {}
 void foo(int) {}
 
@@ -126 +126 @@
         {
                 // T = [const int] -- this ensures that void(*)(int) satisfies void(*)(const int)
-                const int x;
+                const int x = 42;
                 bar(x);
         }