From: Roman Kodinets <rkodinets@gmail.com>
Subject: Re: Question about reference types
Date: Tue, 28 Oct 2014 06:05:14 -0700 (PDT)
Date: 2014-10-28T06:05:14-07:00 [thread overview]
Message-ID: <58626ffb-f36b-44fa-bd3d-41fc580ea06b@googlegroups.com> (raw)
In-Reply-To: <544f8d3a$0$25864$c00b7f07@94.232.116.90>
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;
next prev parent reply other threads:[~2014-10-28 13:05 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-27 12:09 Question about reference types rkodinets
2014-10-27 12:31 ` G.B.
2014-10-27 12:37 ` rkodinets
2014-10-27 22:39 ` Randy Brukardt
2014-10-28 12:33 ` Martyn Pike
2014-10-28 13:05 ` Roman Kodinets [this message]
2014-10-28 19:50 ` Martyn Pike
2014-10-28 22:53 ` Roman Kodinets
2014-10-27 18:09 ` Martyn Pike
2014-10-28 13:41 ` Roman Kodinets
2014-10-28 17:45 ` Roman Kodinets
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox