Re: OOD in Ada? Correction

["Dr. Michael Paus" <paus@ib-paus.com>]

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