From debbugs-submit-bounces@debbugs.gnu.org Wed Jul 24 12:14:09 2019 Received: (at submit) by debbugs.gnu.org; 24 Jul 2019 16:14:09 +0000 Received: from localhost ([127.0.0.1]:37916 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hqJu5-0001fR-BD for submit@debbugs.gnu.org; Wed, 24 Jul 2019 12:14:09 -0400 Received: from lists.gnu.org ([209.51.188.17]:34495) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hqJu3-0001fK-KA for submit@debbugs.gnu.org; Wed, 24 Jul 2019 12:14:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59217) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hqJu2-0004GR-A5 for bug-gnu-emacs@gnu.org; Wed, 24 Jul 2019 12:14:07 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hqJu0-0001BY-VI for bug-gnu-emacs@gnu.org; Wed, 24 Jul 2019 12:14:06 -0400 Received: from webmail.bookmyname.com ([88.191.249.153]:47596 helo=webmail.free.org) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hqJu0-0000zV-Or for bug-gnu-emacs@gnu.org; Wed, 24 Jul 2019 12:14:04 -0400 Received: from 153.98.68.208 (unknown [127.0.1.3]) by webmail.free.org (Postfix) with ESMTP id B4ED2398CB; Wed, 24 Jul 2019 18:13:56 +0200 (CEST) Received: from [153.98.68.208] by webmail.ludovic-brenta.org with HTTP (HTTP/1.1 POST); Wed, 24 Jul 2019 18:13:56 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Wed, 24 Jul 2019 18:13:56 +0200 From: Ludovic Brenta To: bug-gnu-emacs@gnu.org Subject: 26.1; ada-mode 6.0.0 should support function expressions returning aggregates directly Message-ID: X-Sender: ludovic@ludovic-brenta.org X-Complaints-To: abuse_at_bookmyname.com X-Abuse-Info: Please be sure to forward a copy of ALL headers X-Origin-Web-Site: webmail.ludovic-brenta.org X-detected-operating-system: by eggs.gnu.org: FreeBSD 9.x [fuzzy] X-Received-From: 88.191.249.153 X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) Package: emacs, ada-mode X-Debbugs-CC: ada-mode-users@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. From debbugs-submit-bounces@debbugs.gnu.org Sun Aug 18 13:00:54 2019 Received: (at 36788) by debbugs.gnu.org; 18 Aug 2019 17:00:55 +0000 Received: from localhost ([127.0.0.1]:58459 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hzOY2-000119-LB for submit@debbugs.gnu.org; Sun, 18 Aug 2019 13:00:54 -0400 Received: from gateway34.websitewelcome.com ([192.185.149.62]:47283) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hzOY0-000110-62 for 36788@debbugs.gnu.org; Sun, 18 Aug 2019 13:00:52 -0400 Received: from cm10.websitewelcome.com (cm10.websitewelcome.com [100.42.49.4]) by gateway34.websitewelcome.com (Postfix) with ESMTP id 95EC03CA2 for <36788@debbugs.gnu.org>; Sun, 18 Aug 2019 12:00:51 -0500 (CDT) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id zOXzh0L0E2PzOzOXzh0qgA; Sun, 18 Aug 2019 12:00:51 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=nvfVFfdH7DfUKbqf4M2kW5RiQFmTlvFiSQe/5aCggMg=; b=TQ0UcUnF55JJR9CabHm/Lh9ECb u4mtnJbw8Se6qG2E/awjqD7wH4OWry/VLVctT1CU74EQdur/28836Bh2UeogpGNShzVpHmEFu4oFo ImvRiEbtuXxbPG0tsq9zk9hYYf6Po1eia6K81Gg1XvvXbuUwZkycSpMQgDeDg+GCQ7bQasBz7/Kb5 YRQoefu9U8OWGrNGkaL1UEleK8JQhfdXRdqXGzKfpX+w4ah4sJmmq+oHEy1dzCTV49alPzjSgE+sZ BIIB7kyD6K/bnRozxPOjwMIVFEQ9KJj6Vn20+htUxvG5hsOKg0LImv92YUby5e3OfYC5v+yTMympy gTrtc2ug==; Received: from [76.77.182.20] (port=52665 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1hzOXy-003V5J-Vt for 36788@debbugs.gnu.org; Sun, 18 Aug 2019 11:00:51 -0600 From: Stephen Leake To: 36788@debbugs.gnu.org Subject: Fixed in ada-mode 6.2.1 Date: Sun, 18 Aug 2019 10:00:49 -0700 Message-ID: <86wofas91a.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1hzOXy-003V5J-Vt X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:52665 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 36788 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Fixed in ada-mode 6.2.1 -- -- Stephe From debbugs-submit-bounces@debbugs.gnu.org Sat Dec 14 13:02:38 2019 Received: (at 36788-close) by debbugs.gnu.org; 14 Dec 2019 18:02:38 +0000 Received: from localhost ([127.0.0.1]:35773 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1igBkT-0003ea-NQ for submit@debbugs.gnu.org; Sat, 14 Dec 2019 13:02:38 -0500 Received: from gateway31.websitewelcome.com ([192.185.143.51]:23706) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1igBkQ-0003eR-Q2 for 36788-close@debbugs.gnu.org; Sat, 14 Dec 2019 13:02:36 -0500 Received: from cm12.websitewelcome.com (cm12.websitewelcome.com [100.42.49.8]) by gateway31.websitewelcome.com (Postfix) with ESMTP id 50E7C32BE for <36788-close@debbugs.gnu.org>; Sat, 14 Dec 2019 12:02:34 -0600 (CST) Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with SMTP id gBkPitdXAW4frgBkQiEOyv; Sat, 14 Dec 2019 12:02:34 -0600 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:Date: Subject:To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=1w1c+9lpuRS0Kru1xoTVptnXWmC8kbQt+for7R8V1oo=; b=pu3xzAvlHLzcoHa/4fyosDQsUZ MOEtNrrSPjwdZglP0fOI12vjMC4RHKPxEZFFObI2p8cNZX4jz7zd2gaEKiuOJpNVg2ZpIwZgvjSqk 9jighwfruqSfdK0YX3dC0Kinpz3WVKqbbM2EgINDNDAY7ci91JieSHxiqeo7gl3ve54mkTKbH/gaO OOd+MzCvLR9EGAbWoBdfa6xAgiQDgsnsw0rTgfgTDKyO7w0vflI6IgsSff3D5jflkr4iOmn4VTvtF XRajy+odx11ISEyWfliYfKjKaewwUdPLh0w4Mo1RFLzOP3FNRp6zSot1AOjZ9RQ68cSwXWIMwc8qj kSvo5eKg==; Received: from [76.77.182.20] (port=50103 helo=Takver4) by host2007.hostmonster.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1igBkP-003Ihe-LZ for 36788-close@debbugs.gnu.org; Sat, 14 Dec 2019 11:02:33 -0700 From: Stephen Leake To: 36788-close@debbugs.gnu.org Subject: closed by ada-mode 6.2.1 Date: Sat, 14 Dec 2019 10:02:30 -0800 Message-ID: <86a77ukcp5.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2 (windows-nt) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host2007.hostmonster.com X-AntiAbuse: Original Domain - debbugs.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - stephe-leake.org X-BWhitelist: no X-Source-IP: 76.77.182.20 X-Source-L: No X-Exim-ID: 1igBkP-003Ihe-LZ X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (Takver4) [76.77.182.20]:50103 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 1 X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: 36788-close X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) -- -- Stephe From unknown Tue Jun 17 22:28:17 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 12 Jan 2020 12:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator