From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Ludovic Brenta Newsgroups: gmane.emacs.bugs Subject: bug#36548: 26.1; ada-mode 6.0.0 SAL.PROGRAMMER_ERROR: wisi_runtime.get_aug_token virtual terminal Date: Mon, 08 Jul 2019 14:43:27 +0200 Message-ID: <53eca5dd5a0e836bd0048c243d8321d2@ludovic-brenta.org> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="165722"; mail-complaints-to="usenet@blaine.gmane.org" Cc: ada-mode-users@nongnu.org To: 36548@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Jul 08 14:44:17 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hkT0D-000h0d-Kl for geb-bug-gnu-emacs@m.gmane.org; Mon, 08 Jul 2019 14:44:17 +0200 Original-Received: from localhost ([::1]:41358 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hkT0C-0006tT-FC for geb-bug-gnu-emacs@m.gmane.org; Mon, 08 Jul 2019 08:44:16 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39882) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hkT02-0006sy-Pw for bug-gnu-emacs@gnu.org; Mon, 08 Jul 2019 08:44:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hkT00-0002kV-Qa for bug-gnu-emacs@gnu.org; Mon, 08 Jul 2019 08:44:06 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:49196) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hkSzy-0002jl-Od; Mon, 08 Jul 2019 08:44:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hkSzy-0004qu-AG; Mon, 08 Jul 2019 08:44:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Ludovic Brenta Original-Sender: "Debbugs-submit" Resent-CC: ada-mode-users@nongnu.org, bug-gnu-emacs@gnu.org Resent-Date: Mon, 08 Jul 2019 12:44:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 36548 X-GNU-PR-Package: emacs, ada-mode X-Debbugs-Original-To: bug-gnu-emacs@gnu.org X-Debbugs-Original-Xcc: ada-mode-users@nongnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.156258983118626 (code B ref -1); Mon, 08 Jul 2019 12:44:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 8 Jul 2019 12:43:51 +0000 Original-Received: from localhost ([127.0.0.1]:58017 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hkSzn-0004qM-Eb for submit@debbugs.gnu.org; Mon, 08 Jul 2019 08:43:51 -0400 Original-Received: from lists.gnu.org ([209.51.188.17]:55193) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hkSzl-0004qE-9g for submit@debbugs.gnu.org; Mon, 08 Jul 2019 08:43:50 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39717) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hkSzj-0006sj-Dd for bug-gnu-emacs@gnu.org; Mon, 08 Jul 2019 08:43:48 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hkSzf-0002bU-UX for bug-gnu-emacs@gnu.org; Mon, 08 Jul 2019 08:43:45 -0400 Original-Received: from webmail.bookmyname.com ([88.191.249.153]:20420 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 1hkSzd-0002Wx-S8 for bug-gnu-emacs@gnu.org; Mon, 08 Jul 2019 08:43:42 -0400 Original-Received: from 153.98.68.208 (unknown [127.0.1.3]) by webmail.free.org (Postfix) with ESMTP id 2C671352D8 for ; Mon, 8 Jul 2019 14:43:27 +0200 (CEST) Original-Received: from [153.98.68.208] by webmail.ludovic-brenta.org with HTTP (HTTP/1.1 POST); Mon, 08 Jul 2019 14:43:27 +0200 X-Sender: ludovic@ludovic-brenta.org Original-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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:162325 Archived-At: Package: emacs, ada-mode X-Debbugs-CC: ada-mode-users@nongnu.org Severity: minor Hello, With this buffer contents, RET at the end of any line results in this message: wisi--run-parse: unhandled exception: SAL.PROGRAMMER_ERROR: wisi_runtime.get_aug_token virtual terminal (of course, the program text is not synctactically correct, that's the point of an interactive editor :)) with Ada.Text_IO; use Ada.Text_IO; procedure Field_parent is type Root_Disc_T is (Rdisc1, Rdisc2, Rdisc3); type Root_T (Root_Disc : Root_Disc_T := Root_Disc_T'First) is tagged limited record Root_Field : Integer; case Root_Disc is when Rdisc1 => Root_Field1 : Integer; when Rdisc2 => Root_Field2 : Float; when Rdisc3 => Root_Field3 : Character; end case; end record; type Child_Disc_T is (Cdisc1, Cdisc2, Cdisc3); type Child_T (Child_Disc : Child_Disc_T := Child_Disc_T'First) is new Root_T (Rdisc2) with record is new Root_T with record Child_Field : Integer; case Child_Disc is when Cdisc1 => Child_Field1 : Integer; when Cdisc2 => Child_Field2 : Float; when Cdisc3 => Child_Field4 : Character; end case;record; type D1_T is (D1, D2, D3); type D2_T is (D4, D5, D6); type Var_T (Disc1 : D1_T, Disc2 : D2_T) is record T Field1 : Integer; end record; Child : Child_T := (Cdisc1, Child_Field => 1, Child_Field1 => 2, Root_Field => 3, Root_Field2 => 1.42); begin Put_Line ("Hi:" & Child.Child_Field'Image); end; -- Ludovic Brenta.