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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Brenta <ludovic <at> ludovic-brenta.org>
Subject: bug#36788: closed (closed by ada-mode 6.2.1)
Date: Sat, 14 Dec 2019 18:03:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#36788: 26.1; ada-mode 6.0.0 should support function expressions returning aggregates directly

which was filed against the emacs, ada-mode package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 36788 <at> debbugs.gnu.org.

-- 
36788: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36788
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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

[Message part 3 (message/rfc822, inline)]

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.

Previous Next

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