From: Simon Wright <simon.j.wright@amsjv.com>
Subject: Re: Ada development environments
Date: 13 Sep 2000 09:02:58 +0100
Date: 2000-09-13T09:02:58+01:00 [thread overview]
Message-ID: <x7vbsxs67nx.fsf@galadriel.frlngtn.gecm.com> (raw)
In-Reply-To: 39beb659.17723416@news.demon.co.uk
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
next prev parent reply other threads:[~2000-09-13 8:02 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-09-11 18:08 Ada development environments Bruce Petrick
2000-09-11 19:46 ` Jerry Petrey
2000-09-12 18:15 ` Ada2001
2000-09-12 23:10 ` John McCabe
2000-09-13 8:02 ` Simon Wright [this message]
2000-09-18 0:00 ` Lionel Draghi
2000-09-13 0:00 ` Chris Miller
2000-09-12 18:22 ` Ada2001
2000-09-17 0:00 ` Greg Bek
2000-09-27 0:00 ` Michael S. Simpson
2000-09-27 0:00 ` Jerry Petrey
-- strict thread matches above, loose matches on Subject: below --
1992-09-17 3:09 Ada Development Environments munnari.oz.au!manuel!sserve!ccadfa.cc.adfa.oz.au!tomw
1992-09-16 15:14 agate!spool.mu.edu!sol.ctr.columbia.edu!zaphod.mps.ohio-state.edu!cis.ohi
1992-09-16 12:04 cis.ohio-state.edu!pacific.mps.ohio-state.edu!zaphod.mps.ohio-state.edu!c
1992-09-16 9:32 Magnus Lindgren
1992-09-15 20:22 noc.near.net!inmet!inmet!ryer
1992-09-15 14:42 agate!linus!linus.mitre.org!mwvm.mitre.org!M19481
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox