TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show HTML Part by Default
Condense Mail Headers

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

Print Reply
Content-Transfer-Encoding:
8BIT
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Subject:
From:
Christoph & Ursula Grein <[log in to unmask]>
Date:
Fri, 26 Mar 1999 18:23:08 +0100
Content-Type:
text/plain; charset=ISO-8859-1
MIME-Version:
1.0
Reply-To:
Christoph & Ursula Grein <[log in to unmask]>
Parts/Attachments:
text/plain (25 lines)
Tucker Taft schrieb:
>
> The instantiations should be rejected.  A designated subtype
> is determined when an access type is declared, and is the
> same for all subtypes of the access type, even if the
> access subtypes impose constraints on the designated subtype.
> Hence, none of these match statically, because the designated
> subtype of the actual is unconstrained in each case, whereas
> the designated subtype of the formal is constrained in each case.
>
> RM paragraph 3.10(10) defines designated subtype, and it is
> determined completely by the subtype_indication given in the
> access type definition.  Constraints imposed on the access type
> do not change this definition.
>

So I do hope, Wesley, that you report this defect to Gnat because it (at
least in version 3.10p1) accepts the code.

Christoph Grein
Member of Ada Germany

http://home.T-Online.de/home/Christ-Usch.Grein
[log in to unmask]

ATOM RSS1 RSS2