Re: Question on modular types

[stt@houdini.camb.inmet.com (Tucker Taft)]

Robert Dewar (dewar@merv.cs.nyu.edu) wrote:

: Robert Duff said

:   "Convention to those who have read the RM, and understand that arithmetic
:    on modular types is always wrap-around arithmetic.  ;-)"


: I cannot find anywhere in the RM where it says that unary minus has
: wrap around arithmetic semantics, can you point me to the place where
: this is said.

Two places: 3.5.4(19) gives the general rule that anytime the result
of a predefined operator of a modular type is outside the base range of
the type, the result is reduced modulo the modulus of the type.  
The second is in a note, 4.5.4(3).

-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Cambridge, MA  USA