Changeset 24d6572 for tests/forall.cfa

Timestamp:

Jun 12, 2023, 2:45:32 PM (2 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ast-experimental, master

Children:

62d62db

Parents:

34b4268 (diff), 251ce80 (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' into ast-experimental

File:

• tests/forall.cfa (modified) (11 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 23 20:29:59 2023
+// Update Count     : 91
+//
+
+#include <fstream.hfa>
 
 void g1() {
-        forall( T ) T f( T ) {};
-        void f( int ) {};
-        void h( void (*p)(void) ) {};
-
-        int x;
-        void (*y)(void);
-        char z;
-        float w;
+        forall( T ) T f( T p ) { sout | 'f'; return p;  };
+        void f( int p ) { sout | p; };
+        void g( void ) { sout | 'g'; };
+        void h( void (*p)(void) ) { p(); };
+
+        int x = 1;
+        void (*y)(void) = g;
+        char z = 'a';
+        float w = 3.5;
 
         f( x );
@@ -28 +31 @@
         f( z );
         f( w );
+        h( y );
+        f( y );
         h( f( y ) );
 }
 
 void g2() {
-        forall( T ) void f( T, T ) {}
-        forall( T, U ) void f( T, U ) {}
+        forall( T ) void f( T, T ) { sout | "fT"; }
+        forall( T, U ) void f( T, U ) { sout | "fTU"; }
 
         int x;
         float y;
-        int *z;
-        float *w;
-
+        int * z;
+        float * w;
+
+        f( x, x );
+        f( y, y );
+        f( w, w );
         f( x, y );
         f( z, w );
@@ -50 +58 @@
 
 forall( T )
-void swap( T left, T right ) {
-        T temp = left;
-        left = right;
-        right = temp;
-}
-
-trait sumable( T ) {
+void swap( T & left, T & right ) {                                              // by reference
+    T temp = left;
+    left = right;
+    right = temp;
+}
+
+forall( T )
+[ T, T ] swap( T i, T j ) {                                                             // by value
+    return [ j, i ];
+}
+
+forall( T ) trait sumable {
         void ?{}( T &, zero_t );                                                        // 0 literal constructor
         T ?+?( T, T );                                                                          // assortment of additions
@@ -64 +77 @@
 }; // 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
@@ -72 +85 @@
 } // sum
 
-forall( T | { T ?+?( T, T ); T ?++( T & ); [T] ?+=?( T &,T ); } )
+forall( T | { T ?+?( T, T ); T ?++( T & ); [T] ?+=?( T &, T ); } )
 T twice( T t ) {
         return t + t;
@@ -82 +95 @@
 }
 
-int fred() {
-        int x = 1, y = 2, a[10];
+void fred() {
+        int x = 1, y = 2, a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
         float f;
 
+        sout | x | y;
         swap( x, y );
-        twice( x );
+        sout | x | y | nl | swap( x, y );
+        // [ x, y ] = swap( y, x );
+        sout | twice( ' ' ) | ' ' | twice( 0hh ) | twice( 1h ) | twice( 0n ) | twice( 2 )
+                 | twice( 3.2f ) | twice( 3.2 ) | twice( 3.2d ) | twice( 3.2+1.5i ) | twice( x );
         f = min( 4.0, 3.0 );
-        sum( 10, a );
+        sout | f | min( 4.0, 3.0 );
+        sout | sum( 10, a );
 }
 
@@ -177 +195 @@
 
 forall( T ) struct S { T t; } (int) x, y, z;
-forall( T ) struct { T t; } (int) a, b, c;
+static forall( T ) struct { T t; } (int) a, b, c;
 
 forall( T ) static forall( S ) {
@@ -186 +204 @@
 
 forall( T ) {
-        extern "C" {
+//      extern "C" {
                 struct SS { T t; };
-                T foo( T ) {}
-        }
+                T foo( T p ) { return p; }
+//      }
 }
 
@@ -195 +213 @@
 W(int,int) w;
 
-int jane() {
+void jane() {
 //      int j = bar( 3, 4 );
         int k = baz( 3, 4, 5 );
         int i = foo( 3 );
+        sout | k | i;
 }
 
@@ -211 +230 @@
         T t;
         T t2 = t;
+        sout | &tr | tp;
 }
 
@@ -242 +262 @@
 
 int main( void ) {
-    #pragma GCC warning "Compiled"                      // force non-empty .expect file, NO TABS!!!
+        g1();
+        g2();
+        fred();
+        jane();
 }