Changeset dafbde8 for tests/bugs

Timestamp:

Jan 20, 2021, 4:49:40 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

454f478

Parents:

92bfda0 (diff), fd54fef (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/bugs

Files:

• 10.cfa (modified) (1 diff)
• 104.cfa (modified) (1 diff)
• 194.cfa (modified) (1 diff)
• 196.cfa (modified) (2 diffs)
• 203-2.cfa (modified) (1 diff)
• 203-7.cfa (modified) (1 diff)
• 203-9.cfa (modified) (1 diff)
• 7.cfa (modified) (2 diffs)

tests/bugs/10.cfa

@@ -2 +2 @@
 // https://cforall.uwaterloo.ca/trac/ticket/10
 
-forall(otype T)
+forall(T)
 struct result {
       union {

tests/bugs/104.cfa

@@ -4 +4 @@
 [ float, float ] modf_( float x );
 
-forall(otype T | { [T, T] modf_(T); })
+forall(T | { [T, T] modf_(T); })
 void modf(T);
 

tests/bugs/194.cfa

@@ -2 +2 @@
 // https://cforall.uwaterloo.ca/trac/ticket/194
 
-forall( dtype T | sized(T) ) T * foo( void ) {
+forall( T & | sized(T) ) T * foo( void ) {
       printf( "foo1\n" );
         return (T *)0;
 }
-forall( dtype T | sized(T) ) T & foo( void ) {
+forall( T & | sized(T) ) T & foo( void ) {
         printf( "foo2\n" );
         return (T &)*(T *)0;

tests/bugs/196.cfa

@@ -2 +2 @@
 // https://cforall.uwaterloo.ca/trac/ticket/196
 
-forall(dtype T)
+forall(T &)
 struct link;
 
-forall(dtype T)
+forall(T &)
 struct link {
         link(T) * next;
@@ -12 +12 @@
 // -----
 
-forall(dtype T)
+forall(T &)
 struct foo;
 
-forall(dtype U)
+forall(U &)
 struct bar {
         foo(U) * data;
 };
 
-forall(dtype T)
+forall(T &)
 struct foo {};
 

tests/bugs/203-2.cfa

@@ -1 +1 @@
 // Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203
 
-forall(dtype A)
+forall(A &)
 struct empty {
         // Nothing.
 };
 
-forall(dtype C)
+forall(C &)
 struct wrap_e {
         empty(C) field;

tests/bugs/203-7.cfa

@@ -1 +1 @@
 // Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203
 
-forall(dtype A)
+forall(A &)
 struct empty {
         // Nothing.
 };
 
-forall(dtype C)
+forall(C &)
 struct wrap_e {
         empty(C) field;

tests/bugs/203-9.cfa

@@ -1 +1 @@
 // Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203
 
-forall(dtype A)
+forall(A &)
 struct empty {
         // Nothing.
 };
 
-forall(dtype C)
+forall(C &)
 struct wrap_e {
         empty(C) field;

tests/bugs/7.cfa

@@ -8 +8 @@
 
 // (Bug 1 unresolved as of this test.)
-forall(otype T)
+forall(T)
 struct stack_node;
 
-forall(otype T)
+forall(T)
 struct stack_node {
     stack_node(T) * next;
@@ -17 +17 @@
 };
 
-forall(otype T)
+forall(T)
 struct stack {
     stack_node(T) * head;
 };
 
-trait stack_errors(otype T) {
+trait stack_errors(T) {
     T emptyStackHandler (stack(T) * this);
 };
 
-forall(otype T | stack_errors(T))
+forall(T | stack_errors(T))
 T pop (stack(T) * this) {
     return (T){};