Re: Why can't you create a out of order subtype?

[Martin Dowie <martin.dowie@btopenworld.com>]

Marius Amado Alves wrote:
>>> declare
>>>    M : Msg := Whatever;
>>>    V : Vowelmsg;
>>> begin
>>>    V := Vowelmsg'Value (Msg'Image (M));
>>>    -- if control reaches here then M is a vowel
>>> exception
>>>    when Constraint_Error => -- M is not a vowel
>>> end;
>>
>>
>> That's very, very, very slow...
> 
> 
> No, it's only very, very slow :-)
> 
> If (and only if :-) that's too slow for the application then sure, use 
> UC and 'Valid. And watch out for those uninitialized variables.
> 

"pragma Normalize_Scalars;" :-)