Changeset 8614140 for doc/theses/mike_brooks_MMath/programs/hello-array.cfa

Timestamp:

Jan 8, 2026, 1:26:42 PM (4 weeks ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

fb7c9168

Parents:

79ba50c (diff), 4904b05 (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:

• doc/theses/mike_brooks_MMath/programs/hello-array.cfa (modified) (3 diffs)

doc/theses/mike_brooks_MMath/programs/hello-array.cfa

@@ -89 +89 @@
 
 forall( [M], [N] )
-void bad( array(float, M) &x,
-                array(float, N) &y ) {
+void f( array(float, M) &x, array(float, N) &y ) {
         f( x, x );              $\C[0.5in]{// ok}$
         f( y, y );              $\C{// ok}$
-
         f( x, y );              $\C{// error}\CRT$
+        if ( M == N ) f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
 }
-
 #endif
 
@@ -109 +107 @@
 
 forall( [M], [N] )
-void bad_fixed( array( float, M ) & x,
-                array( float, N ) & y ) {
+void f( array( float, M ) & x, array( float, N ) & y ) {
         f( x, x );              $\C[0.5in]{// ok}$
         f( y, y );              $\C{// ok}$
-        if ( M == N )
-                f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
+        if ( M == N ) f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
 }
 
@@ -132 +128 @@
 
 forall( [M], [N] )
-void bad_ok_only( array(float, M) &x,
-                array(float, N) &y ) {
+void bad_ok_only( array(float, M) &x, array(float, N) &y ) {
         f( x, x );
         f( y, y );