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,a270a1fc28d4f812
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-22 06:11:29 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed.belnet.be!news.belnet.be!news-raspail.gip.net!news.gsl.net!gip.net!fr.clara.net!heighliner.fr.clara.net!news-fra.pop.de!schlund.de!news.online.de!not-for-mail
From: "Dr. Michael Paus" <paus@ib-paus.com>
Newsgroups: comp.lang.ada
Subject: Re: OOD in Ada?
Date: Sat, 22 Jun 2002 15:11:28 +0200
Organization: 1&1 Internet AG
Message-ID: <3D147780.5030504@ib-paus.com>
References: <3d135676$0$8511$cc9e4d1f@news.dial.pipex.com>
 <3D1440FA.9030409@ib-paus.com> <uy9d7ir0a.fsf@wanadoo.fr>
NNTP-Posting-Host: p508301ff.dip0.t-ipconnect.de
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.online.de 1024751488 8612 80.131.1.255 (22 Jun 2002 13:11:28
 GMT)
X-Complaints-To: abuse@online.de
NNTP-Posting-Date: 22 Jun 2002 13:11:28 GMT
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.0.0) Gecko/20020530
X-Accept-Language: en-us, en
Xref: archiver1.google.com comp.lang.ada:26597
Date: 2002-06-22T13:11:28+00:00
List-Id: <comp.lang.ada>

Pascal Obry wrote:
> "Dr. Michael Paus" <paus@ib-paus.com> writes:
> 
> 
>>To overcome this problem the GNAT people even introduced a language extension
>>"with type". This feature is available in any recent GNAT implementation
>>although it does not seem to work (For the example I have used the compiler
>>seems to go into an endless loop). In order to activate it you have to use
>>the -gnatX switch. For a more extensive explanation of how it works see the
>>JGNAT user manual.
> 
> 
> Note that a similar issue has been raised and is worked-on see AI95-00217-01.
> There has been many proposals, last I have heard the "with type" extension as
> implemented in GNAT will not be the final solution.

I know about that but at least it is a feature which is available now and not
something you have to wait for until 2005 or whenever the next revision of Ada
is expected. By the way do you know whether this feature is still supposed to
work? I have not found a description of it outside the documentation of JGNAT
and when I tried it with GNAT 3.14p on Windows gnat1.exe seems to go into an
endless loop although it does seem to understand the feature. If you omit the
-gnatX switch it tells you that this is an Ada extension which you have to activate
explicitly.

Michael