Ignore:
Timestamp:
Dec 13, 2025, 4:56:22 PM (4 days ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
5d300ba
Parents:
67748f9
Message:

more array proofreading

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/mike_brooks_MMath/programs/hello-array.cfa

    r67748f9 r35fc819  
    8989
    9090forall( [M], [N] )
    91 void bad( array(float, M) &x,
    92                 array(float, N) &y ) {
     91void f( array(float, M) &x, array(float, N) &y ) {
    9392        f( x, x );              $\C[0.5in]{// ok}$
    9493        f( y, y );              $\C{// ok}$
    95 
    9694        f( x, y );              $\C{// error}\CRT$
     95        if ( M == N ) f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
    9796}
    98 
    9997#endif
    10098
     
    109107
    110108forall( [M], [N] )
    111 void bad_fixed( array( float, M ) & x,
    112                 array( float, N ) & y ) {
     109void f( array( float, M ) & x, array( float, N ) & y ) {
    113110        f( x, x );              $\C[0.5in]{// ok}$
    114111        f( y, y );              $\C{// ok}$
    115         if ( M == N )
    116                 f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
     112        if ( M == N ) f( x, @(array( float, M ) &)@y ); $\C{// ok}\CRT$
    117113}
    118114
     
    132128
    133129forall( [M], [N] )
    134 void bad_ok_only( array(float, M) &x,
    135                 array(float, N) &y ) {
     130void bad_ok_only( array(float, M) &x, array(float, N) &y ) {
    136131        f( x, x );
    137132        f( y, y );
Note: See TracChangeset for help on using the changeset viewer.