GNU bug report logs - #36788
26.1; ada-mode 6.0.0 should support function expressions returning aggregates directly

Previous Next

Packages: emacs, ada-mode;

Reported by: Ludovic Brenta <ludovic <at> ludovic-brenta.org>

Date: Wed, 24 Jul 2019 16:15:01 UTC

Severity: minor

Found in version 26.1

Done: Stephen Leake <stephen_leake <at> stephe-leake.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 36788 in the body.
You can then email your comments to 36788 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to ada-mode-users <at> nongnu.org, bug-gnu-emacs <at> gnu.org:
bug#36788; Package emacs, ada-mode. (Wed, 24 Jul 2019 16:15:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Ludovic Brenta <ludovic <at> ludovic-brenta.org>:
New bug report received and forwarded. Copy sent to ada-mode-users <at> nongnu.org, bug-gnu-emacs <at> gnu.org. (Wed, 24 Jul 2019 16:15:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Brenta <ludovic <at> ludovic-brenta.org>
To: bug-gnu-emacs <at> gnu.org
Subject: 26.1; ada-mode 6.0.0 should support function expressions returning
 aggregates directly
Date: Wed, 24 Jul 2019 18:13:56 +0200

Package: emacs, ada-mode
X-Debbugs-CC: ada-mode-users <at> nongnu.org
Severity: minor

Hello,

ada_mode_wisi_lr1_parse.exe does not follow AI12-0157[1], which allows
a function expression to return an aggregate directly as opposed to
an aggregate enclosed in an extra pair of parentheses:

package P is
   type T is null record;
   function F return T is (null record);
end P;

ada-mode 6.0 and later (checked with 6.1.1) show red exclamation marks
in the margin at function F.  C-c C-f says:

p.adb:3:51: syntax error: expecting BEGIN, ENTRY, FOR, FUNCTION, 
GENERIC, NOT, OVERRIDING, PACKAGE, PRAGMA, PROCEDURE, PROTECTED, 
SUBTYPE, TASK, TYPE, USE, IDENTIFIER, found 'LEFT_PAREN'

Changing the line to

   function F return T is ((null record));

removes the parsing error.

I know that GNAT Pro has had support for AI12-0157 for at least
a couple of years and I'm pretty sure the latest GNAT GPL Edition
has it too.

[1] 
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0157-1.txt?rev=1.6

-- 
Ludovic Brenta.
Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#36788; Package emacs, ada-mode. (Sun, 18 Aug 2019 17:01:01 GMT) Full text and rfc822 format available.

Message #8 received at 36788 <at> debbugs.gnu.org (full text, mbox):

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 36788 <at> debbugs.gnu.org
Subject: Fixed in ada-mode 6.2.1
Date: Sun, 18 Aug 2019 10:00:49 -0700

Fixed in ada-mode 6.2.1
-- 
-- Stephe
Reply sent to Stephen Leake <stephen_leake <at> stephe-leake.org>:
You have taken responsibility. (Sat, 14 Dec 2019 18:03:01 GMT) Full text and rfc822 format available.
Notification sent to Ludovic Brenta <ludovic <at> ludovic-brenta.org>:
bug acknowledged by developer. (Sat, 14 Dec 2019 18:03:02 GMT) Full text and rfc822 format available.

Message #13 received at 36788-close <at> debbugs.gnu.org (full text, mbox):

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 36788-close <at> debbugs.gnu.org
Subject: closed by ada-mode 6.2.1
Date: Sat, 14 Dec 2019 10:02:30 -0800

-- 
-- Stephe
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 12 Jan 2020 12:24:04 GMT) Full text and rfc822 format available.
This bug report was last modified 4 years and 103 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.