Simple operations on arrays

• An expression ``conforms'' with an array if its index range set is a subset of the index range list of the array.
• Assignment is through through suitable members, eg

       void ArrayInt    :: assign(ExprInt) ;
       void ArrayFloat  :: assign(ExprFloat) ;
       void ArrayDouble :: assign(ExprDouble) ;
       ...
  

  Eg,

       a.assign(b) ;    // a = b
       b.assign(c) ;    // b = c
  

  The argument of assign must conform with the array being assigned.

       c.assign(d) ;    // ILLEGAL
  

• The fact that a range is an expression provides some of the power of a ``forall'' statement...

       a.assign(x.plus(y)) ;   // forall (x, y) a(x, y) = x + y ;
  

• A masked assignment operation `where' could also be provided.