Re: constrained subtypes

[Christoph Grein <christoph.grein@eurocopter.com>]

> 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!

I was interested in evaluating expressions, so this seemed the obvious place.

> 5.4 Case Statements
> 
snip
> 
> Well this is hardly obscure enough to warrant the term
> exegesis :-)

Of course not :-) Robert's accurate as always :-)

Thank you for pointing out the correct chapter and verse.