Re: Extra information in the message string of exceptions.

[Gautier write-only address <gautier_niouzes@hotmail.com>]

> One exception is the following ... 
> 
> procedure Example 
> is 
> X : Positive := 0 with Unreferenced; 
> begin 
> null; 
> end Example; 
> 
> ... which shows a compile time warning ... 
> [...]
> I'm a little surprised that the compiler shows a warning rather than 
> an error but I suppose there must be some reason for that.

HAC (and perhaps other compilers) is stricter on that point:
procedure Example is
   X : Positive := 0;
begin
   null;
end Example;

example.adb: 2:20-21: error in range constraint: value of expression (0) is out the destination's range, 1 .. 9223372036854775807
E