Re: I am not understanding user defined exceptions

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert A Duff" <bobduff@TheWorld.com> wrote in message 
news:wcck28zfa69.fsf@TheWorld.com...
> Simon Wright <simon@pushface.org> writes:
>
>> Good, but I have to admit the strength of Randy's point re:
>> maintainability.
>
> I don't share Randy's concerns about maintainability.
>
>>...Would it be possible for GNAT have a diagnostic option
>> to state whether explicit Static_Predicate would be OK?
>
> Sure, but I'm not likely to implement any such thing,
> given my opinion expressed above.  I recommend you use
> "Predicate =>" unless you want to be portable to non-GNAT
> compilers (or request the other compilers to mimic GNAT).
>
> To convince me otherwise, you'll have to explain why we don't say:
>
>    X: static constant Integer := 100;
>    static subtype S is Integer range 1..100;
>
>>...(you could tell
>> me to just try Static_Predicate first!)
>
> Sure, you can do that if you like.  To me, "Static_" is just noise
> (or necessary for portability).  This kind of inconsistency is
> a flaw in the design of Ada.
>
> - Bob