comp.lang.ada
 help / color / mirror / Atom feed
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: The revolution will not be standardized
Date: 1999/12/13
Date: 1999-12-13T00:00:00+00:00	[thread overview]
Message-ID: <1999Dec13.102812.1@eisner> (raw)
In-Reply-To: 3854EBD4.6B100D52@acenet.com.au

In article <3854EBD4.6B100D52@acenet.com.au>, Geoff Bull <gbull@acenet.com.au> writes:
> 
> 
> 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

If your comment about the "wonders of open source" means finding
features that are not documented, I "wonder" about the wisdom of it.

Often a feature that is not documented is also not supported (although
in this particular case, Robert indicates it is supported).  Typically
the documentation, however, is the indication of what is supported and
what is not.  I recall discussions of some GNAT features provided only
for building GNAT.

Open source would be useful if you were going to support yourself on
a feature, of course.

Larry Kilgallen




  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
1999-12-13  0:00         ` Larry Kilgallen [this message]
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-07  0:00                                         ` Robert Dewar
2000-01-06  0:00                                       ` Robert A Duff
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