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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.43.91.72 with SMTP id bl8mr5196070icc.21.1414536796754;
        Tue, 28 Oct 2014 15:53:16 -0700 (PDT)
X-Received: by 10.140.39.85 with SMTP id u79mr48164qgu.16.1414536796607; Tue,
 28 Oct 2014 15:53:16 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!au2pb.net!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!h15no1096228igd.0!news-out.google.com!u5ni10qab.1!nntp.google.com!s7no1248720qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 28 Oct 2014 15:53:16 -0700 (PDT)
In-Reply-To: <544ff38b$0$4512$c00b7f07@94.232.116.90>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=62.182.15.121;
 posting-account=DnAOvgoAAAC4sZzasjJbGpyIXIlh62U2
NNTP-Posting-Host: 62.182.15.121
References: <aa04bd67-d170-48e3-a659-239fb8acd0a9@googlegroups.com>
 <m2ldvg$lu6$1@dont-email.me>
 <7804a038-2eb0-4d70-b4ad-9bca94888661@googlegroups.com>
 <m2mhj2$rou$1@loke.gir.dk> <544f8d3a$0$25864$c00b7f07@94.232.116.90>
 <58626ffb-f36b-44fa-bd3d-41fc580ea06b@googlegroups.com>
 <544ff38b$0$4512$c00b7f07@94.232.116.90>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c6ee3d6f-4a35-429d-a693-415b6deae8bc@googlegroups.com>
Subject: Re: Question about reference types
From: Roman Kodinets <rkodinets@gmail.com>
Injection-Date: Tue, 28 Oct 2014 22:53:16 +0000
Content-Type: text/plain; charset=ISO-8859-1
X-Received-Bytes: 2336
X-Received-Body-CRC: 1927887670
Xref: news.eternal-september.org comp.lang.ada:22880
Date: 2014-10-28T15:53:16-07:00
List-Id: <comp.lang.ada>

On Tuesday, October 28, 2014 10:59:45 PM UTC+3, Martyn Pike wrote:
> On 28/10/2014 13:05, Roman Kodinets wrote:
> > On Tuesday, October 28, 2014 3:36:20 PM UTC+3, Martyn Pike wrote:
> >> I don't think this is a bug.
> >>
> >> 	type Accessor (Data : access constant Integer) with
> >>
> >> Means Data is access to a constant Integer.  The OP is trying to modify
> >> Data with :
> >>
> >> 	Get_Int(X).Data.all := 33;
> >>
> >> Martyn
> >
> > Yes, the error message is not a bug. The (possible) bug is that there is no error message being triggered by the next line
> > Get_Int(X) := 33;
> > which should be semantically the same thing as
> > Get_Int(X).Data.all := 33;
> >
> 
> Agreed. I should have read all of your original post :-(

My bad, actually. The comments in the example were a little misleading. I should have wrote something like "Error here, and this is ok." and "No error here, why?" (actually, I thought of it the second after I've sent the post).