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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3ccb707f4c91a5f2
X-Google-Attributes: gid103376,public
From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: Java vs Ada 95 (Was Re: Once again,
 Ada absent from DoD SBIR solicitation)
Date: 1996/10/24
Message-ID: <EACHUS.96Oct24195007@spectre.mitre.org>#1/1
X-Deja-AN: 191847301
references: <325D7F9B.2A8B@gte.net> <DzBrFw.IAs@world.std.com>
organization: The Mitre Corp., Bedford, MA.
newsgroups: comp.lang.ada
Date: 1996-10-24T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <dewar.845592400@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:

  > If you really really want such strange arithmetic (perhaps to acomodate
  > a Java-to-Ada translator :-) then you could program it easily enough
  > using unchecked conversion and modular and signed arithmetic mixed in
  > the appropriate odd way.

  Is it that odd?  You use the Unsigned arithmetic operators except
for divison and for 'PRED and 'SUCC and the Integer operations for all
the rest.  Certainly peculiar, but defining such a type is not
hard--except that it's real behavior emerges when passed as a generic
formal type.

--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...