<< §2.2.(d) Explicit lowering | ↑ Table of Contents ↑ | §2.2.(f) Ambiguous lowering >> |
§2.2.(e) Lowering of arrays
Lowering also works for arrays of role objects.
In order to lower an array of role objects,
a new array is created and filled with base objects, one for each
role object in the original array. The array may have any number
of dimensions at any shape. The lowered array will have exactly the
same shape.
Note, that each lowering translation will create a new array.
<< §2.2.(d) Explicit lowering | ↑ Table of Contents ↑ | §2.2.(f) Ambiguous lowering >> |