Changeset 8e4aa05 for tests/sum.cfa

Timestamp:

Mar 4, 2021, 7:40:25 PM (5 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:

77d601f

Parents:

342af53 (diff), a5040fe (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

File:

• tests/sum.cfa (modified) (4 diffs)

tests/sum.cfa

@@ -18 +18 @@
 #include <stdlib.hfa>
 
-trait sumable( otype T ) {
+trait sumable( T ) {
         void ?{}( T &, zero_t );                                                        // 0 literal constructor
         T ?+?( T, T );                                                                          // assortment of additions
@@ -26 +26 @@
 }; // sumable
 
-forall( otype T | sumable( T ) )                                                // use trait
+forall( T | sumable( T ) )                                              // use trait
 T sum( size_t size, T a[] ) {
         T total = 0;                                                                            // initialize by 0 constructor
@@ -107 +107 @@
                  | sum( size, (S *)a ) | ", check" | (S)s;
 
-        forall( otype Impl | sumable( Impl ) )
+        forall( Impl | sumable( Impl ) )
         struct GS {
                 Impl * x, * y;
@@ -194 +194 @@
                  sum( size, (S *)a ).[i, j], s.[i, j] );
 
-        forall( otype Impl | sumable( Impl ) )
+        forall( Impl | sumable( Impl ) )
         struct GS {
                 Impl * x, * y;