comp.lang.ada
 help / color / mirror / Atom feed
From: Geoff Bull <gbull@acenet.com.au>
Subject: Re: The revolution will not be standardized
Date: 1999/12/13
Date: 1999-12-13T00:00:00+00:00	[thread overview]
Message-ID: <3854EBD4.6B100D52@acenet.com.au> (raw)
In-Reply-To: 82upp5$dt8$1@nnrp1.deja.com



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




  reply	other threads:[~1999-12-13  0:00 UTC|newest]

Thread overview: 40+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-12-09  0:00 The revolution will not be standardized Ted Dennison
1999-12-10  0:00 ` Ed Falis
1999-12-10  0:00   ` Ted Dennison
1999-12-12  0:00   ` Geoff Bull
1999-12-12  0:00     ` Robert Dewar
1999-12-13  0:00       ` Geoff Bull [this message]
1999-12-13  0:00         ` Larry Kilgallen
1999-12-14  0:00           ` Geoff Bull
1999-12-13  0:00     ` Ted Dennison
1999-12-13  0:00       ` reason67
1999-12-13  0:00         ` Aidan Skinner
1999-12-14  0:00           ` Geoff Bull
1999-12-14  0:00             ` Richard D Riehle
1999-12-14  0:00               ` Marin D. Condic
1999-12-14  0:00                 ` Greg Martin
1999-12-14  0:00                   ` Marin D. Condic
1999-12-15  0:00                     ` Ted Dennison
1999-12-16  0:00                       ` Marin D. Condic
1999-12-21  0:00                       ` Geoff Bull
1999-12-21  0:00                         ` Robert Dewar
1999-12-21  0:00                           ` Richard D Riehle
1999-12-22  0:00                             ` Robert A Duff
1999-12-23  0:00                               ` Robert Dewar
1999-12-23  0:00                                 ` Ehud Lamm
1999-12-23  0:00                                   ` gnat 3.12 Michael Ben-Gershon
1999-12-23  0:00                                     ` Robert Dewar
1999-12-23  0:00                                 ` The revolution will not be standardized Richard D Riehle
2000-01-05  0:00                                   ` Robert A Duff
2000-01-06  0:00                                     ` Robert Dewar
2000-01-06  0:00                                     ` Robert Dewar
2000-01-06  0:00                                       ` Robert A Duff
2000-01-06  0:00                                       ` Robert A Duff
2000-01-07  0:00                                         ` Robert Dewar
1999-12-15  0:00                     ` Greg Martin
1999-12-15  0:00                   ` Ted Dennison
1999-12-14  0:00             ` Ted Dennison
1999-12-15  0:00               ` Geoff Bull
1999-12-15  0:00                 ` Preben Randhol
1999-12-14  0:00             ` reason67
1999-12-14  0:00       ` Geoff Bull
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox