Re: subtype of enumeration type

[Kilgallen@SpamCop.net (Larry Kilgallen)]

In article <dvmas1$kj8$1@sunnews.cern.ch>, Maciej Sobczak <no.spam@no.spam.com> writes:
> Consider this:
> 
>     type Day is (Mon, Tue, Wed, Thu, Fri, Sat, Sun);
> 
> and the following standard example:
> 
>     subtype Weekday is Day range Mon .. Fri;
> 
> Now imagine that in some country children don't have to go to school on 
> Wednesdays, they go there only Monday, Tuesday, Thursday and Friday.
> 
> I want to say it in Ada.
> 
>     subtype Schoolday is Day <what goes here?>;

     type Day is (Mon, Tue, Thu, Fri, Wed, Sat, Sun);
     subtype Weekday is Day range Mon .. Wed;
     subtype Schoolday is Day range Mon .. Fri;

Some additional logic may also be in order if you print some
some human-readable output based on an iteration over the range
of Day or Weekday, such as by creating an index array Days_in_Order.