From: "David C. Hoos, Sr." <david.c.hoos.sr@ada95.com>
Subject: Re: Extended modal types
Date: Sat, 25 May 2002 16:56:46 -0500
Date: 2002-05-25T16:56:46-05:00 [thread overview]
Message-ID: <mailman.1022363705.11670.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: 874rgwt6jf.fsf@deneb.enyo.de
----- Original Message -----
From: "Florian Weimer" <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada.eu.org>
Sent: May 25, 2002 1:40 PM
Subject: Re: Extended modal types
<snip>
> (IMHO, modular types whose modular type whose modulus is not a power
> of two should have been avoided altogether.)
Every allowed modulus _is_ a power of two -- just not an _integer_
power of two ;)
next prev parent reply other threads:[~2002-05-25 21:56 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
2002-05-25 18:40 ` Florian Weimer
2002-05-25 21:56 ` David C. Hoos, Sr. [this message]
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