From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: gnoga build fails on Mac
Date: Sun, 28 Jun 2020 19:55:52 -0500 [thread overview]
Message-ID: <rdbe6r$tgl$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: rcq55l$r03$1@dont-email.me
"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message
news:rcq55l$r03$1@dont-email.me...
> On 6/22/20 7:56 AM, Dmitry A. Kazakov wrote:
>> On 22/06/2020 05:15, Roger wrote:
>>>
>>> demo/db_maker/movies.adb
>>> "equality operator must be declared before type "Movie_Info" is frozen
>>> (RM 4.5.2 (9.8)) (Ada 2012)"
>>
>> That looks like a compiler bug to me.
>
> I agree. What happens if you change "=" from an expression function to a
> regular function?
It is illegal either way. This was an incompatible change in Ada 2012; it
stems from the fact that "=" of untagged records composes in Ada 2012 but
not in earlier versions of Ada. Composition cannot be view dependent, and as
such we cannot allow "late" declarations of operators where some users would
not see the redefined operator.
Randy.
next prev parent reply other threads:[~2020-06-29 0:55 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-21 7:57 gnoga build fails on Mac Roger
2020-06-21 8:41 ` Dmitry A. Kazakov
2020-06-21 11:18 ` Roger
2020-06-21 13:28 ` Dmitry A. Kazakov
2020-06-22 3:15 ` Roger
2020-06-22 5:56 ` Dmitry A. Kazakov
2020-06-22 6:14 ` Roger
2020-06-22 11:37 ` Jeffrey R. Carter
2020-06-22 23:25 ` Roger
2020-06-23 11:27 ` Jeffrey R. Carter
2020-06-29 0:55 ` Randy Brukardt [this message]
2020-06-29 8:29 ` Jeffrey R. Carter
2020-07-01 1:09 ` Randy Brukardt
2020-07-01 8:52 ` Jeffrey R. Carter
2020-07-03 0:23 ` Randy Brukardt
2020-07-03 9:09 ` Jeffrey R. Carter
2020-07-07 14:41 ` Shark8
2020-07-07 15:37 ` Jeffrey R. Carter
2020-06-21 14:24 ` Jeffrey R. Carter
2020-06-21 16:46 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox