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.236.222.98 with SMTP id s92mr2068686yhp.29.1414501515100; Tue, 28 Oct 2014 06:05:15 -0700 (PDT) X-Received: by 10.140.92.140 with SMTP id b12mr9710qge.14.1414501515085; Tue, 28 Oct 2014 06:05:15 -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!border2.nntp.dca1.giganews.com!nntp.giganews.com!s7no1126311qap.0!news-out.google.com!u5ni13qab.1!nntp.google.com!u7no700839qaz.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 28 Oct 2014 06:05:14 -0700 (PDT) In-Reply-To: <544f8d3a$0$25864$c00b7f07@94.232.116.90> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=62.182.11.3; posting-account=DnAOvgoAAAC4sZzasjJbGpyIXIlh62U2 NNTP-Posting-Host: 62.182.11.3 References: <7804a038-2eb0-4d70-b4ad-9bca94888661@googlegroups.com> <544f8d3a$0$25864$c00b7f07@94.232.116.90> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <58626ffb-f36b-44fa-bd3d-41fc580ea06b@googlegroups.com> Subject: Re: Question about reference types From: Roman Kodinets Injection-Date: Tue, 28 Oct 2014 13:05:15 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:22852 Date: 2014-10-28T06:05:14-07:00 List-Id: 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;