Re: [Gm2] no overflow checking ?

[Fischlin Andreas]

Ok, but AFAIK that does not mean one could not have a compiler option which 
overrules that exception raising. I would implement such a standard then by 
having by default the checking on, but a good compiler would allow for full 
control in the manner I described earlier. Besides, the rules for raising an 
exception for integer overflow or floating point overflow or underflow, 
respectively, should be differentiated and not dealt with in one sweep. ;-)

Regards,
Andreas


ETH Zurich
Prof. Dr. Andreas Fischlin
Systems Ecology - Institute of Integrative Biology
CHN E 21.1
Universitaetstrasse 16
8092 Zurich
SWITZERLAND

address@hidden
www.sysecol.ethz.ch

+41 44 633-6090 phone
+41 44 633-1136 fax
+41 79 221-4657 mobile

             Make it as simple as possible, but distrust it!
________________________________________________________________________



On 29/Apr/2011, at 03:07 , john o goyo wrote:

> 
> On 28-Apr-11, at 12:32 PM, Fischlin Andreas wrote:
> 
>> Dear Arnauld,
>> 
>> Modula-2's real strength is in checking at compile time as much as possible. 
>> Catching run time errors are a matter of the implementation, i.e. the code 
>> the compiler generates and has little to do with the language itself.
> 
> Unfortunately, ISO/IEC 10514-1 requires overflow exceptions to be raised if 
> the results of infix whole number, real, or complex expressions overflow.
> 
> john