Re: Prefix to 'ACCESS must either statically match... But why?

[Jeffrey Carter <jrcarter@acm.org>]

Grein, Christoph wrote:
> 
> Objects of Stream_Element_Array have their bounds stored.
> Objects of Stream_Element_Array ( 1 .. 3 ) have no bounds stored, the bounds are 
> known at compile time.

Whether an implementation stores the bounds of an array subtype is not 
specified by the ARM. Nothing prevent an implement from not storing the 
bounds of an object of an unconstrained subtype nor from storing the 
bounds of a constrained subtype, provided that all operations of array 
subtypes work properly.

-- 
Jeff Carter
"C++ is like giving an AK-47 to a monk, shooting him
full of crack and letting him loose in a mall and
expecting him to balance your checking account
'when he has the time.'"
Drew Olbrich