- Timestamp:
- Feb 3, 2023, 1:28:36 PM (19 months ago)
- Branches:
- ADT, ast-experimental, master
- Children:
- 2125443a
- Parents:
- 7a24d76
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/forall.cfa
r7a24d76 r8a97248 10 10 // Created On : Wed May 9 08:48:15 2018 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Sat Jun 5 10:06:08 202113 // Update Count : 3 612 // Last Modified On : Thu Feb 2 15:28:45 2023 13 // Update Count : 38 14 14 // 15 15 … … 56 56 } 57 57 58 trait sumable( T ){58 forall( T ) trait sumable { 59 59 void ?{}( T &, zero_t ); // 0 literal constructor 60 60 T ?+?( T, T ); // assortment of additions … … 64 64 }; // sumable 65 65 66 forall( T | sumable( T ) ) // use trait66 forall( T | sumable( T ) ) // use trait 67 67 T sum( size_t size, T a[] ) { 68 68 T total = 0; // initialize by 0 constructor
Note: See TracChangeset
for help on using the changeset viewer.