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:46:24 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!193.174.75.178!news-fra1.dfn.de!news-ham1.dfn.de!news.zfn.uni-bremen.de!informatik.uni-bremen.de!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? Correction
Date: Sat, 22 Jun 2002 15:46:23 +0200
Organization: 1&1 Internet AG
Message-ID: <3D147FAF.4090609@ib-paus.com>
References: <3d135676$0$8511$cc9e4d1f@news.dial.pipex.com>
 <3D1440FA.9030409@ib-paus.com> <uy9d7ir0a.fsf@wanadoo.fr>
 <3D147780.5030504@ib-paus.com>
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 1024753583 9592 80.131.1.255 (22 Jun 2002 13:46:23
 GMT)
X-Complaints-To: abuse@online.de
NNTP-Posting-Date: 22 Jun 2002 13:46:23 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:26601
Date: 2002-06-22T13:46:23+00:00
List-Id: <comp.lang.ada>

Dr. Michael Paus wrote:
> 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
> 

I just got a mail from Robert Dewar concerning this issue saying:

"This feature was not approved by the ARG and will not be supported in future
(JGNAT itself is also no longer supported)"

There are now 4 different proposals on how to solve this problem (AI95-00217-01 .. -04).
So I am afraid we still have to wait a while until we get some working solution to
this problem.

Michael