Re: gnoga build fails on Mac

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 6/29/20 2:55 AM, Randy Brukardt wrote:
> "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.

The declaration of "=" is the first declaration after the type declaration in a 
procedure. How can it be "late"? What users might not see the operator?

-- 
Jeff Carter
"Brave Sir Robin ran away."
Monty Python and the Holy Grail
59