Re: constrained subtypes

[dewar@gnat.com (Robert Dewar)]

Christoph Grein <christoph.grein@eurocopter.com> wrote in message > Nice exegesis, I also thought it was this way. But when I looked into the RM, I found only:

<<irrelevant quotes from chapter 4 snipped>>

Why look in chapter 4 here. If you are interested in case
statements, look in chapter 5 at the section on case
statements. Sometimes it is indeed hard to find things in
the RM, but not in this case!

5.4 Case Statements

7  If the expression is a name (including a type_conversion or
afunction_call) having a static and constrained nominal subtype, or is
a qualified_expression whose subtype_mark denotes a static and
constrained scalar subtype, then each non-others discrete_choice shall
cover only values in that subtype, and each value of that subtype
shall be covered by some discrete_choice (either explicitly or by
others).

Pretty clear if you ask me, obviously (x) is not of the syntactic form
of a name.

> I would like to see a formal exegesis with the RM.

Well this is hardly obscure enough to warrant the term
exegesis :-)