Re: Syntax question: new with a constrained subtype indication

[Adrien Plisson <aplisson-news@stochastique.net>]

James Alan Farrell wrote:
> I hope I wont have 
> to read the *WHOLE* text to answer this one question -- it is too large 
> and I get lost and confused ;)

well, you will have to...
i found those two, defined in sections noted "legality rule":

ARM95 3.6.1 §5
"An index_constraint shall appear only in a subtype_indication whose 
subtype_mark denotes either an unconstrained array subtype, or an 
unconstrained access subtype whose designated subtype is an 
unconstrained array subtype; in either case, the index_constraint 
shall provide a discrete_range for each index of the array type."

ARM95 3.7.1 §7
"A discriminant_constraint is only allowed in a subtype_indication 
whose subtype_mark denotes either an unconstrained discriminated 
subtype, or an unconstrained access subtype whose designated subtype 
is an unconstrained discriminated subtype."

there is a similar paragraph for Fixed-point type (ARM95 3.5.9 §11), 
but strangely, i can't find one for Integer types, nor for real types...

-- 
rien