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,b47b15fda2aeb0b2
X-Google-Attributes: gid103376,public
From: mab@dst17.wdl.loral.com (Mark A Biggar)
Subject: Re: Two ideas for the next Ada Standard
Date: 1996/09/10
Message-ID: <513val$opi@wdl1.wdl.lmco.com>#1/1
X-Deja-AN: 179718340
references: <50opma$kos@goanna.cs.rmit.edu.au> <dewar.842012852@schonberg>
 <5137hi$9oq@goanna.cs.rmit.edu.au>
organization: Loral Western Development Labs
newsgroups: comp.lang.ada
Date: 1996-09-10T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <5137hi$9oq@goanna.cs.rmit.edu.au> ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe) writes:
>dewar@cs.nyu.edu (Robert Dewar) writes:
>>Richard, you can't quite do 100% of what you want, since you cannot exclude
>>attributes like Image, but you are obviously missing an important capability
>>in Aa 95.
>>	type x is range 1..10;
>>        function "+" (a,b : x) return x is abstract;
>>causes the addition operator to be unavailable for this type.
>>This is how weakening is done in Ada 95.
>I had actually seen this in a thread earlier this year.  (comp.lang.ada
>_is_ such good value.)  However, 'Image is one of the things that would
>merit suppression:  it would be nice to export an enumeration type _as_
>an enumeration type without having to provide all the names as strings.

Try: pragma Discard_Names(Enum_Type);  -- Ada95 only


--
Mark Biggar
mab@wdl.lmco.com