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

Previous Next

Full log

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.

Previous Next

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