comp.lang.ada
 help / color / mirror / Atom feed
From: "Frank J. Lhota" <NOSPAM.FrankLho@rcn.com>
Subject: Re: Extended modal types
Date: Sat, 25 May 2002 14:06:09 -0400
Date: 2002-05-25T18:06:17+00:00	[thread overview]
Message-ID: <acojqp$1so$1@bob.news.rcn.net> (raw)
In-Reply-To: 5ee5b646.0205250757.60c9715a@posting.google.com

I think the real issue here is that for moduli other than powers of 2, e.g.

    type r is mod 446;

the bitwise operations "and", "or", and "not" simply do not have any
intuitive meaning. It may very well have been preferable for these
operations to be undefined for mod 446.






  reply	other threads:[~2002-05-25 18:06 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-24  8:53 Extended modal types Anatoly Chernyshev
2002-05-24 11:38 ` Marc A. Criley
2002-05-25 15:57 ` Robert Dewar
2002-05-25 18:06   ` Frank J. Lhota [this message]
2002-05-25 18:40     ` Florian Weimer
2002-05-25 21:56       ` David C. Hoos, Sr.
2002-05-27  4:57       ` Robert I. Eachus
2002-05-27  5:52         ` Florian Weimer
2002-05-27 23:47           ` Robert I. Eachus
2002-05-29  1:16             ` Robert Dewar
2002-05-29  2:31   ` Robert A Duff
2002-05-29  9:19     ` Dmitry A. Kazakov
2002-05-29  9:54     ` Robert Dewar
2002-05-29 15:20 ` Anatoly Chernyshev
2002-05-29 23:36   ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox