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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,dc94fe39f71093ec X-Google-Attributes: gid103376,public From: Geoff Bull Subject: Re: The revolution will not be standardized Date: 1999/12/13 Message-ID: <3854EBD4.6B100D52@acenet.com.au>#1/1 X-Deja-AN: 560052835 Content-Transfer-Encoding: 7bit References: <82p7hu$l1q$1@nnrp1.deja.com> <82ppc9$1u6$1@nnrp1.deja.com> <385252E8.FF140CD2@acenet.com.au> <82upp5$dt8$1@nnrp1.deja.com> X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Complaints-To: abuse@telstra.net X-Trace: nsw.nnrp.telstra.net 945089475 203.35.118.1 (Mon, 13 Dec 1999 23:51:15 EST) Organization: Customer of Telstra Big Pond Direct MIME-Version: 1.0 NNTP-Posting-Date: Mon, 13 Dec 1999 23:51:15 EST Newsgroups: comp.lang.ada Date: 1999-12-13T00:00:00+00:00 List-Id: Robert Dewar wrote: > This is at least partially in place, GNAT supports a form of > with type, precisely for this purpose. I had seen this in the JGNAT bindings for Rapid, but there is no mention of this in the documentation, not even obscurely placed under the heading "With Type Clause" :-) I had thus assumed it was JGNAT only. In retrospect this was a silly assumption, why would you make the front end different? Through the wonders of open source, I find: ---------------------- -- With_Type clause -- ---------------------- -- This is a GNAT extension, used to implement mutually recursive -- types declared in different packages. -- WITH_TYPE_CLAUSE ::= -- with type type_NAME is access | with type type_NAME is tagged I will try this. Thanks Geoff