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,f78d2f93ab55fd75
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-09-13 02:01:56 PST
Sender: sjw@galadriel.frlngtn.gecm.com
Newsgroups: comp.lang.ada
Subject: Re: Ada development environments
References: <39BD1FB6.1684694D@trw.com> <39BD3696.797AFE23@west.raytheon.com>
 <8plrqi$2iv$1@nnrp1.deja.com> <39beb659.17723416@news.demon.co.uk>
From: Simon Wright <simon.j.wright@amsjv.com>
Date: 13 Sep 2000 09:02:58 +0100
Message-ID: <x7vbsxs67nx.fsf@galadriel.frlngtn.gecm.com>
Organization: Alenia Marconi Systems, ISD, Farlington
X-Newsreader: Gnus v5.5/Emacs 20.3
NNTP-Posting-Host: galadriel.frlngtn.gecm.com
X-Trace: 13 Sep 2000 09:57:54 GMT, galadriel.frlngtn.gecm.com
Path: 
 supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!freenix!proxad.net!grolier!btnet-peer0!btnet-peer!btnet!newreader.ukcore.bt.net!pull.gecm.com!galadriel.frlngtn.gecm.com
Xref: supernews.google.com comp.lang.ada:621
Date: 2000-09-13T09:02:58+01:00
List-Id: <comp.lang.ada>

john@assen.demon.co.uk.nospam (John McCabe) writes:

> PS - If you get a new release of Apex, check out whether the bug
> related to the discriminant of a private extension is corrected:
> 
> type X (Disc : <sometype>) is tagged record with
>    :
>    :
> end record;
> 
> type Y (Disc : <sometype>) is new X (Disc) with private;
> 
> (I think this is the basis of it) This is illegal but is compiled
> without error on (what I believe is) the current version of Apex.
> Unfortunately it is also a bug in Rose because Rose generates code
> that matches this :-(

ObjectAda 7.2 accepts this too:

package Mccabe is
  type X (D : Boolean) is tagged null record;
  type Y (D : Boolean) is new X (D) with private;
private
  type Y (D : Boolean) is new X (D) with null record;
end Mccabe;

(hope you don't mind my taking your name in vain)

whereas GNAT 3.13p says

mccabe.ads:3:31: Only static constraints allowed for parent discriminants in the partial view

A look at the AARM tells me I'm going to find this tough. Is there a
plain-language discussion? (eg, a hint on how I can achieve the intent
of the above) I failed to find anything via deja ..

-- 
Simon Wright                         Email: simon.j.wright@amsjv.com
Alenia Marconi Systems                     Voice: +44(0)23 9270 1778
Integrated Systems Division                  FAX: +44(0)23 9270 1800