Re: Problem with emacs ada-mode-7.1.4

[Simon Wright <simon@pushface.org>]

Paul Onions <ponions37@gmail.com> writes:

> On Sunday, 18 July 2021 at 17:24:11 UTC+1, Simon Wright wrote:
>> There was an interesting thread about this at [1]; I'm not sure from
>> that whether the ada-mode code is OK or not, but it seems that even
>> if it is we'll have to wait for a later compiler release.
>
> Thanks for looking further into it.  Not sure I'm qualified enough in
> the Ada world to properly follow the discussion in the thread you link
> to -- I'll try to spend some on it later :-)

Not many of us are. That chapter in the ARM (3.10.2) is known as the
Heart of Darkness for a reason. See AARM 3.10.2(3.a, b)[1].

While poking at the ada-mode code, I found that avoiding anonymous
accesses (especially when used as discriminants) went a long way to
quieting the compiler; and the use of 'Unchecked_Access also helped.

[1]: http://www.ada-auth.org/standards/aarm12_w_tc1/html/AA-3-10-2.html#p3.a