Re: Did I find a bug here?

[reinert <reinkor@gmail.com>]

.....snip...
> values. However, note that the compiler may choose to raise 
> Constraint_Error even if there is an "others" alternative; RM 5.4 
> (10.d). To avoid that uncertainty, the program can perform an explicit 
> 'Valid check before the case statement.

Could AB_Type(X) in "case AB_Type(X) is" function as such a valid check?

I try as much as possible to avoid "others" to make the compiler point 
out or to remind  (in my large programs) where to add (or check for) possible 
alternatives in case I extend  the value range of a variable. Then it may happen 
I need to put in for example something like "when A | B | C => null;" instead of "others".

reinert