Re: [ats-lang-users] ATS bug report: arithmetic overflow and the ATS type system

Okay, I have added a paragraph in the ATS User's Guide to inform 
the user that constraint-solving in ATS is based on machine-level arithmetic.

Thanks,

--Hongwei


On Fri, 16 Apr 2010, jc...@jc... wrote:

>>
>>Thanks for your kind response.   These are rare issues, as you say, but I would like to point out a couple of things, in case they are helpful:
>>
>> 
>>
>>About static arithmetic:
>>
>>It might be helpful to add a sentence to the tutorial or the user manual stating the current limits on static "int" arithmetic.
>>
>> 
>>
>>About dynamic arithmetic:
>>
>>While intentional signed arithmetic overflow is probably rare, as you say, I do think that unintentional overflow could matter to security software and
>>aerospace software.  For security software, consider that malicious users may intentionally create otherwise-rare situations.  And for aerospace, consider the
>>somewhat-related failure of the first Ariane 5 rocket test, which was due to an out-of-range floating-to-int type conversion (see
>>http://en.wikipedia.org/wiki/Ariane_5 ).  A safe, fast language such as ATS might have great appeal in such application domains.
>>
>>&nb sp;
>>
>>-- John