[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56236: Package: emacs, ada-mode
From: |
Lars Ingebrigtsen |
Subject: |
bug#56236: Package: emacs, ada-mode |
Date: |
Tue, 28 Jun 2022 15:50:47 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
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
- bug#56236: Package: emacs, ada-mode, Cameron Howie, 2022/06/26
- bug#56236: Package: emacs, ada-mode, Lars Ingebrigtsen, 2022/06/26
- Message not available
- bug#56236: Package: emacs, ada-mode, Lars Ingebrigtsen, 2022/06/26
- bug#56236: Package: emacs, ada-mode, Cameron Howie, 2022/06/28
- bug#56236: Package: emacs, ada-mode, Lars Ingebrigtsen, 2022/06/28
- bug#56236: Package: emacs, ada-mode, Lars Ingebrigtsen, 2022/06/28
- bug#56236: Package: emacs, ada-mode,
Lars Ingebrigtsen <=
- bug#56236: Package: emacs, ada-mode, Stephen Leake, 2022/06/28