"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. --Martin -----Original Message----- 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 one.:-) -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. > > Mike > > -- -- Stephe