Changeset 8a97248 for tests

Timestamp:

Feb 3, 2023, 1:28:36 PM (15 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

2125443a

Parents:

7a24d76

Message:

switch from old trait syntax to new trait syntax using forall clause

File:

• tests/forall.cfa (modified) (3 diffs)

tests/forall.cfa

@@ -10 +10 @@
 // Created On       : Wed May  9 08:48:15 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jun  5 10:06:08 2021
-// Update Count     : 36
+// Last Modified On : Thu Feb  2 15:28:45 2023
+// Update Count     : 38
 //
 
@@ -56 +56 @@
 }
 
-trait sumable( T ) {
+forall( T ) trait sumable {
         void ?{}( T &, zero_t );                                                        // 0 literal constructor
         T ?+?( T, T );                                                                          // assortment of additions
@@ -64 +64 @@
 }; // sumable
 
-forall( 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