From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-21 11:45:05 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.airnews.net!cabal12.airnews.net!usenet
From: "John R. Strohm" <strohm@airmail.net>
Newsgroups: comp.lang.ada
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the
   Ada mandate, and why it collapsed and died))
Date: Wed, 21 May 2003 13:28:37 -0500
Organization: Airnews.net! at Internet America
Message-ID: <bagh7a$d2b@library1.airnews.net>
References: <9fa75d42.0305141747.5680c577@posting.google.com>
 <Ygixa.86459$cO3.5860233@bgtnsc04-news.ops.worldnet.att.net>
 <URWxa.143$Ov2.92@nwrddc04.gnilink.net>
 <ba9toc$qorbc$2@ID-175126.news.dfncis.de>
 <4W%xa.28765$cK5.11964@nwrdny02.gnilink.net>
 <baa486$qgclv$1@ID-175126.news.dfncis.de>
 <1053353256.804734@master.nyc.kbcfp.com>
 <baapuj$qs1sv$1@ID-175126.news.dfncis.de>
 <wccbrxxsinx.fsf@shell01.TheWorld.com>
 <bafoi4$rerai$2@ID-77047.news.dfncis.de>
Xref: archiver1.google.com comp.lang.ada:37610
Date: 2003-05-21T13:28:37-05:00
List-Id: <comp.lang.ada>

X-A-Notice: References line has been trimed due to 512 byte limitation
Abuse-Reports-To: abuse at airmail.net to report improper postings
NNTP-Proxy-Relay: library1-aux.airnews.net
NNTP-Posting-Time: Wed, 21 May 2003 13:40:42 -0500 (CDT)
NNTP-Posting-Host: !]3Oq1k-XgoE]rX (Encoded at Airnews!)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:bafoi4$rerai$2@ID-77047.news.dfncis.de...
> Robert A Duff wrote:
>
> > The design team actually went back and forth several times between two
> > solutions: a kludgy "magic" package that supports unsigned types of
> > certain sizes, pretty much like C, and a first-class type with syntax
> > and relatively general semantics (including non-binary modulii).
> > I think perhaps the magic package was the better solution.
>
> What about:
>
> 1. arbitrary modulii without add, or, xor, not.

Without addition, you by definition don't have a modular type.  The whole
point of a modular type is that it is characterized by wraparound (modular)
addition.