"with type", to my knowledge was created for the GNAT for JVM compiler,
JGNAT, and is documented there. Another example of a GNAT extension is
'Unrestricted_Access, so you can get an access to a nested procedure.
From: Stephen Leake [mailto:[log in to unmask]]
Sent: Tuesday, December 05, 2000 3:06 PM
To: [log in to unmask]
Subject: Re: html "grammar"?
Michael Feldman <[log in to unmask]> writes:
> [said John]
> > >Quiz: who knows what the GNAT extensions are? I know at least
-gnatX enables 'with type foo;'.
Interestingly, -gnatX does not seem to be documented in the "secret
gnat documentation" ; the gnat user guide. So maybe we've finally
found a true instance of "secret gnat documentation" :)
> > How about package System.Tasking?
> > John
> Hmmm - I just looked at this for the first time. Interesting
> package, but as far as I can tell, it's "just" a package. Yeah,
> the whole Ada 95 tasking area is much more flexible than Ada 83.
> Does System.Tasking extend the set of legal programs?
> I was thinking of something that definitely does. A _syntactic_
> extension, actually. Hint: it's a proposed extension for Ada 0y
> and facilitates producing bindings.