TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Proportional Font
Show HTML Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To: Carlisle Martin C Dr USAFA/DFCS <[log in to unmask]>
Date: Wed, 6 Dec 2000 09:01:49 -0500
Reply-To: Stephen Leake <[log in to unmask]>
From: Stephen Leake <[log in to unmask]>
In-Reply-To: Carlisle Martin C Dr USAFA/DFCS's message of "Tue, 5 Dec 2000 15:48:26 -0700"
Content-Type: text/plain; charset=us-ascii
MIME-Version: 1.0
Parts/Attachments: text/plain (22 lines)
Carlisle Martin C Dr USAFA/DFCS <[log in to unmask]> writes:

> "with type", to my knowledge was created for the GNAT for JVM compiler,
> JGNAT, and is documented there.

Ah yes. I thought I had read about it in a GNAT info file, and was
puzzled when I couldn't find it in the 3.13a docs. But it is
implemented in 3.13a for non-JVM targets (I guess because they share a
front end), so there is a documentation bug.

> Another example of a GNAT extension is 'Unrestricted_Access, so you
> can get an access to a nested procedure.

Yes, and this is clearly defined in the "implementation defined
attributes" section of the GNAT reference manual. Since Ada defines
the notion of implementation defined attributes, I don't think this
extends the language syntax. But I would agree it extends the language
semantics.

--
-- Stephe

ATOM RSS1 RSS2