Changeset 90152a4 for tests/tuple/tupleVariadic.c

Timestamp:

Aug 27, 2018, 4:40:34 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b7c89aa

Parents:

f9feab8 (diff), 305581d (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' into cleanup-dtors

File:

• tests/tuple/tupleVariadic.c (moved) (moved from src/tests/tupleVariadic.c ) (6 diffs)

tests/tuple/tupleVariadic.c

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Fri Dec 16 10:25:35 2016
-// Last Modified By : Rob Schluntz
-// Last Modified On : Fri Dec 21 14:42:48 2016
-// Update Count     : 2
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Aug  2 09:24:04 2018
+// Update Count     : 6
 //
+
+#include <stdlib.hfa>
 
 void func(void) {
@@ -28 +30 @@
         printf("called process(double) %g\n", x);
 }
-
-forall( dtype T, ttype Params | sized(T) | { void ?{}(T &, Params); } )
-T * new(Params p);
 
 struct array {
@@ -68 +67 @@
 }
 
+void ^?{}(array & a) {
+        free(a.data);
+}
+
 // test use of a tuple argument
 [void] ?{}(array & a, [int, int, int, int] args) {
@@ -95 +98 @@
 }
 
+forall(ttype T | { void foo(T); }) void bar(T x) {}
+void foo(int) {}
+
 int main() {
         array * x0 = new();
@@ -117 +123 @@
         func(3, 2.0, 111, 4.145);
         printf("finished func\n");
+
+        {
+                // T = [const int] -- this ensures that void(*)(int) satisfies void(*)(const int)
+                const int x;
+                bar(x);
+        }
+
+        delete(ptr);
+        delete(x4);
+        delete(x3);
+        delete(x2);
+        delete(x1);
+        delete(x0);
 }
 
@@ -122 +141 @@
 // tab-width: 4 //
 // End: //
-