Re: Range checking not working as expected?

[Maciej Sobczak <no.spam@no.spam.com>]

Vinzent 'Gadget' Hoefler wrote:

> Try again after compiling with -gnato to actually enable the overflow
> checking.

OK, it "works" now. It is still not what I'd expect - "the default in 
Ada is safety", or something like this; I'd expect to actually need to 
go into some troubles to disable such checking. But it is still good 
that it works by default for non-border-case definitions like range 
1..10. I presume that in practice the Integer type is not widely used 
and that typical ranges have limits dependent on the given domain and 
not on some hardware specifics.

Thank you for explanation,


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/