From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Question on modular types
Date: 1997/01/08
Date: 1997-01-08T00:00:00+00:00 [thread overview]
Message-ID: <dewar.852779585@merv> (raw)
In-Reply-To: E3LotB.9J9@world.std.com
iRobert 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.
next prev parent reply other threads:[~1997-01-08 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-01-04 0:00 Question on modular types Jerry van Dijk
1997-01-04 0:00 ` Robert Dewar
1997-01-06 0:00 ` Jerry van Dijk
1997-01-06 0:00 ` Robert A Duff
1997-01-08 0:00 ` Robert Dewar [this message]
1997-01-09 0:00 ` Robert A Duff
1997-01-09 0:00 ` Tucker Taft
1997-01-11 0:00 ` Robert Dewar
1997-01-12 0:00 ` Joel VanLaven
1997-01-06 0:00 ` Joel VanLaven
1997-01-08 0:00 ` Stan and/or Jill Grimes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox