On Thu, 2014-06-26 at 19:06 +0200, tgingold@free.fr wrote: > > Thanks Tristan - I noticed this behaviour but forgot to comment on > > it. For other interested parties, the relevant bit of the LRM is: > The issue is the behaviour of the type-conversion. When you use modular > type (in Ada), you think that all operations wraps-around. That's true > except for type conversion. If M is a modular type, M (Integer'(-1)) > raise an error instead of returning M'Modulus - 1. I think this was > a mistake (and I am not alone, see AI-00340 for opinions). that would be http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ais/ai-00340.txt?rev=1.8 for simplicity - Brian -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jun 26 10:22:53 2014
This archive was generated by hypermail 2.1.8 : Thu Jun 26 2014 - 10:23:00 PDT