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,c5e219ab41be8c00 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-12-20 08:14:23 PST Path: supernews.google.com!sn-xit-02!supernews.com!newsfeed.mesh.ad.jp!sjc-peer.news.verio.net!news.verio.net!sjc-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: JGNAT and ObjectAda and ... In-Reply-To: <3A3F8651.7CDB13B6@averstar.com> Message-ID: References: <3A3E8A9E.D12673A7@libertysurf.fr> <91nur2$ulk$1@nnrp1.deja.com> <3A3F8651.7CDB13B6@averstar.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Wed, 20 Dec 2000 16:14:39 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sjc-read.news.verio.net 977328879 206.184.139.136 (Wed, 20 Dec 2000 16:14:39 GMT) NNTP-Posting-Date: Wed, 20 Dec 2000 16:14:39 GMT Organization: Verio Xref: supernews.google.com comp.lang.ada:3287 Date: 2000-12-20T16:14:39+00:00 List-Id: 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