Re: JGNAT and ObjectAda and ...

[Brian Rogoff <bpr@shell5.ba.best.com>]

On Tue, 19 Dec 2000, Tucker Taft wrote:
> Robert Dewar wrote:
> > The "with type" extension is an ARG approved extension, so
> > eventually all compilers should support this.
> 
> Though the "with type ... is access" part is not included
> in the current ARG proposal (and it is still a "work item"
> rather than in the "approved" state).
> 
> The current ARG proposal has "with type P.T;" and "with type P.T is tagged;"
> as two possible "with type" clauses.  An anonymous access type
> has also been proposed of the form "P.T'Class_Access".  Together
> these two proposals approximate the "with type ... is access" feature.

Well, congratulations anyways! This topic was so heavily discussed a few
years ago (where is John Volan now?) that it seems a bit odd that when 
the "withing problem" is finally vanquished (OK, almost vanquished :) that
there is so little fanfare. 

So, are there any ARG proposals for more direct support for Java-style
interfaces? I seem to remember some discussion of this, and as long as
we're letting Java drive Ada development ;-)

-- Brian