Re: Discriminant as default initial value

[kst@sd.aonix.com (Keith Thompson)]

In <dewar.859988477@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:
[...]
> Using a discriminant in the expression for a default value is perfectly
> valid (it does not have to be on its own, it can be used within an
> expression, e.g. you can have a default expression A+B where both A
> and B are discriminants). This is legal because there is no rule that
> says it is illegal. And it should work properly!

Agreed.

For more details on the allowed uses of a discriminant, see RM95-3.8(12):

   12  A name that denotes a noninherited discriminant is allowed within
       the declaration of the type, but not within the discriminant_
       part.  If the discriminant is used to define the constraint of a
       component, the bounds of an entry family, or the constraint of
       the parent subtype in a derived_type_definition then its name
       shall appear alone as a direct_name (not as part of a larger
       expression or expanded name).  A discriminant shall not be used
       to define the constraint of a scalar component.

-- 
Keith Thompson (The_Other_Keith) kst@sd.aonix.com <http://www.aonix.com> <*>
TeleSo^H^H^H^H^H^H Alsy^H^H^H^H Thomson Softw^H^H^H^H^H^H^H^H^H^H^H^H^H Aonix
5040 Shoreham Place, San Diego, CA, USA, 92122-5989
"Humor is such a subjective thing." -- Cartagia