bug#56236: Package: emacs, ada-mode

[Lars Ingebrigtsen]

Lars Ingebrigtsen <larsi@gnus.org> writes:

>> Following up on the emails of yesterday, I have pasted below into this 
>> message a
>> concrete example Ada code that raises issues with the Ada Mode plug-in 
>> regarding
>> using of a "declaration expression" inside a Postcondition. As commented in 
>> the code
>> itself, if you remove the comment markers from the Postcondition the Ada Mode
>> parser indicates all sorts of errors when in fact the Postcondition is legal 
>> Ada 2022.

I've added Stephen to the CCs; perhaps he has some comments.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no