> So would the syntax for part B be something like: > > subtype integer4 is integer range 0 to 3 > subtype modular4 is integer modular 0 to 3 > > Where integer4 would trap on overflow and modular4 would wrap? This notation doesn't make sense. A subtype declaration does not declare a type and therefore does not declare operations. So the operator for integer4 or modular4 are the operators of integer. Tristan. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Oct 23 10:01:57 2014
This archive was generated by hypermail 2.1.8 : Thu Oct 23 2014 - 10:02:34 PDT