> subtype a : integer range 123 to 456; -- existing syntax Sorry, but this is not the existing syntax :-( > subtype b : integer modular 789 to 101112; -- new syntax > subtype c : integer saturated 131415 to 161618; -- new syntax Again, a subtype does not define a type. There is no implicit operators declared by a subtype. So the semantic of operators for these modular/saturated subtypes is the same as the semantic for the existing integer types operators. As a consequence, the result of 'x + y + z' may be not the same as the result of 't = x + y; t + x'. And I am sure this is a no-go. Tristan. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sat Oct 25 22:43:36 2014
This archive was generated by hypermail 2.1.8 : Sat Oct 25 2014 - 22:44:48 PDT