From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6d9eb594a33cb947
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-01-31 22:40:11 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!newsfeed.berkeley.edu!ucberkeley!blanket.mitre.org!newsfeed.mathworks.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: Robert Dewar <robert_dewar@my-deja.com>
Newsgroups: comp.lang.ada
Subject: Re: very specific question on Ada syntax
Date: Thu, 01 Feb 2001 06:25:43 GMT
Organization: Deja.com
Message-ID: <95avh2$ua7$1@nnrp1.deja.com>
References: <mailman.981007013.11542.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: 205.232.38.14
X-Article-Creation-Date: Thu Feb 01 06:25:43 2001 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U)
X-Http-Proxy: 1.0 x61.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
X-MyDeja-Info: XMYDJUIDrobert_dewar
Xref: supernews.google.com comp.lang.ada:4805
Date: 2001-02-01T06:25:43+00:00
List-Id: <comp.lang.ada>

In article <mailman.981007013.11542.comp.lang.ada@ada.eu.org>,
  comp.lang.ada@ada.eu.org wrote:
> Florian Weimer wrote:
>
> > A character literal is a prefix, taking attributes is
allowed.  In
> > contrast, a string literal is not a prefix, see RM 4.1(2)
and 4.1.4.
>
> Compiling the following with Gnat 3.13p gives:
>
> package P is
>
>   type  T  is ('a', None, 'Z');
>   type F_T is access function return T;
>
>   X: F_T :=3D 'a''Access;
>   Y: F_T :=3D None'Access;
>
> end P;
>
>      6.   X: F_T :=3D 'a''Access;
>                     |
>         >>> prefix of "Access" attribute must be aliased
>
> Is this then a bug?

No, this is obviously a correct error message. What would
make you think that this particular usage was legal?


Sent via Deja.com
http://www.deja.com/