Changeset fd54fef for tests/sum.cfa

Timestamp:

Jan 19, 2021, 8:44:29 PM (3 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

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

Children:

dafbde8

Parents:

2f47ea4

Message:

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

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;