GNU bug report logs - #55880
28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb

Previous Next

Packages: emacs, ada-mode;

Reported by: Left Right <olegsivokon <at> gmail.com>

Date: Thu, 9 Jun 2022 21:52:02 UTC

Severity: normal

Fixed in version 28.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 55880 in the body.
You can then email your comments to 55880 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 bug-gnu-emacs <at> gnu.org:
bug#55880; Package emacs. (Thu, 09 Jun 2022 21:52:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Left Right <olegsivokon <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs <at> gnu.org. (Thu, 09 Jun 2022 21:52:02 GMT) Full text and rfc822 format available.

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

From: Left Right <olegsivokon <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb
Date: Thu, 9 Jun 2022 23:49:31 +0200
Hi.

I'm trying to build and install Ada mode, and I'm not able to compile
wisi (support code for parser written in Ada).  The problematic
functions are:

   function Peek (Queue : in Pkg.Queue; N : Peek_Type := 1) return
Constant_Reference_Type
   is
      use Ada.Containers;
      use Element_Lists;
      I : Cursor := Queue.Data.First;
   begin
      if Count_Type (N) > Queue.Data.Length then
         raise Parameter_Error;
      end if;

      for K in 2 .. N loop
         Next (I);
      end loop;

      return (Element => Element_Lists.Constant_Reference (Queue.Data,
I).Element, Dummy => 1);
   end Peek;

   function Variable_Peek (Queue : in out Pkg.Queue; N : Peek_Type :=
1) return Variable_Reference_Type
   is
      use Ada.Containers;
      use Element_Lists;
      I : Cursor := Queue.Data.First;
   begin
      if Count_Type (N) > Queue.Data.Length then
         raise Parameter_Error;
      end if;

      for K in 2 .. N loop
         Next (I);
      end loop;

      return (Element => Element_Lists.Variable_Reference (Queue.Data,
I).Element, Dummy => 1);
   end Variable_Peek;

And the error is:

sal-gen_unbounded_definite_queues.adb:67:07: error: access
discriminant in return object would be a dangling reference
sal-gen_unbounded_definite_queues.adb:84:07: error: access discriminant
in return object would be a dangling reference

I'm using:

❯ gprbuild --version
GPRBUILD Pro 18.0w (19940713) (x86_64-pc-linux-gnu)
Copyright (C) 2004-2016, AdaCore
This is free software; see the source for copying conditions.
See your AdaCore support agreement for details of warranty and support.
If you do not have a current support agreement, then there is absolutely
no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.

❯ gnat --version
GNAT 12.1.0
Copyright (C) 1996-2022, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.

I'm using version 3.1.7 of wisi (the latest as of time of writing).
I'm using version Ada mode 7.2.0 (the latest as of time of writing).

Unfortunately, I don't know how to fix the error, but hope it's not too
difficult.

Thanks.

Oleg

In GNU Emacs 28.1 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.33,
cairo version 1.17.6)
 of 2022-04-28 built on frederik
Windowing system distributor 'The X.Org Foundation', version 11.0.12101003
System Description: Manjaro Linux

Configured using:
 'configure --sysconfdir=/etc --prefix=/usr --libexecdir=/usr/lib
 --localstatedir=/var --with-cairo --with-harfbuzz --with-libsystemd
 --with-modules --with-x-toolkit=gtk3 'CFLAGS=-march=x86-64
 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2
 -Wformat -Werror=format-security -fstack-clash-protection
 -fcf-protection -g -ffile-prefix-map=/build/emacs/src=/usr/src/debug
 -flto=auto' 'LDFLAGS=-Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now
 -flto=auto''

Configured features:
ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG
JSON LCMS2 LIBOTF LIBSYSTEMD LIBXML2 M17N_FLT MODULES NOTIFY INOTIFY
PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE
XIM XPM GTK3 ZLIB

Important settings:
  value of $LC_MONETARY: nl_NL.UTF-8
  value of $LC_NUMERIC: nl_NL.UTF-8
  value of $LC_TIME: nl_NL.UTF-8
  value of $LANG: en_US.UTF-8
  value of $XMODIFIERS: @im=ibus
  locale-coding-system: utf-8-unix

Major mode: Dired by name

Minor modes in effect:
  global-flycheck-mode: t
  pyvenv-mode: t
  vimish-fold-global-mode: t
  vimish-fold-mode: t
  ido-everywhere: t
  shell-dirtrack-mode: t
  global-undo-tree-mode: t
  global-hl-line-mode: t
  display-time-mode: t
  override-global-mode: t
  tooltip-mode: t
  global-eldoc-mode: t
  show-paren-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  buffer-read-only: t
  line-number-mode: t
  transient-mark-mode: t

Load-path shadows:
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-start hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-start
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-test hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-test
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels-old hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels-old
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-eunit hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-eunit
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-flymake hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-flymake
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-edoc hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-edoc
/usr/local/lib/erlang/lib/tools-3.5.2/emacs/erldoc hides
/home/olegs/.emacs.d/elpa/erlang-20210315.1640/erldoc
/home/olegs/.emacs.d/elpa/cmake-mode-20210104.1831/cmake-mode hides
/usr/share/emacs/site-lisp/cmake-mode
/home/olegs/.emacs.d/elpa/transient-20210420.1635/transient hides
/usr/share/emacs/28.1/lisp/transient
~/.emacs.d/org-mode/lisp/org-entities hides
/usr/share/emacs/28.1/lisp/org/org-entities
~/.emacs.d/org-mode/lisp/ox-html hides /usr/share/emacs/28.1/lisp/org/ox-html
~/.emacs.d/org-mode/lisp/org-element hides
/usr/share/emacs/28.1/lisp/org/org-element
~/.emacs.d/org-mode/lisp/oc-natbib hides
/usr/share/emacs/28.1/lisp/org/oc-natbib
~/.emacs.d/org-mode/lisp/ox-latex hides /usr/share/emacs/28.1/lisp/org/ox-latex
~/.emacs.d/org-mode/lisp/ob-sass hides /usr/share/emacs/28.1/lisp/org/ob-sass
~/.emacs.d/org-mode/lisp/oc-biblatex hides
/usr/share/emacs/28.1/lisp/org/oc-biblatex
~/.emacs.d/org-mode/lisp/ox-odt hides /usr/share/emacs/28.1/lisp/org/ox-odt
~/.emacs.d/org-mode/lisp/ob-gnuplot hides
/usr/share/emacs/28.1/lisp/org/ob-gnuplot
~/.emacs.d/org-mode/lisp/ob-lob hides /usr/share/emacs/28.1/lisp/org/ob-lob
~/.emacs.d/org-mode/lisp/ol-bbdb hides /usr/share/emacs/28.1/lisp/org/ol-bbdb
~/.emacs.d/org-mode/lisp/ol-rmail hides /usr/share/emacs/28.1/lisp/org/ol-rmail
~/.emacs.d/org-mode/lisp/ob-ruby hides /usr/share/emacs/28.1/lisp/org/ob-ruby
~/.emacs.d/org-mode/lisp/ob-matlab hides
/usr/share/emacs/28.1/lisp/org/ob-matlab
~/.emacs.d/org-mode/lisp/org-duration hides
/usr/share/emacs/28.1/lisp/org/org-duration
~/.emacs.d/org-mode/lisp/org-habit hides
/usr/share/emacs/28.1/lisp/org/org-habit
~/.emacs.d/org-mode/lisp/ol-docview hides
/usr/share/emacs/28.1/lisp/org/ol-docview
~/.emacs.d/org-mode/lisp/org-mouse hides
/usr/share/emacs/28.1/lisp/org/org-mouse
~/.emacs.d/org-mode/lisp/ob-js hides /usr/share/emacs/28.1/lisp/org/ob-js
~/.emacs.d/org-mode/lisp/org-refile hides
/usr/share/emacs/28.1/lisp/org/org-refile
~/.emacs.d/org-mode/lisp/ob-sed hides /usr/share/emacs/28.1/lisp/org/ob-sed
~/.emacs.d/org-mode/lisp/ob-eshell hides
/usr/share/emacs/28.1/lisp/org/ob-eshell
~/.emacs.d/org-mode/lisp/ob-exp hides /usr/share/emacs/28.1/lisp/org/ob-exp
~/.emacs.d/org-mode/lisp/ob-haskell hides
/usr/share/emacs/28.1/lisp/org/ob-haskell
~/.emacs.d/org-mode/lisp/org-crypt hides
/usr/share/emacs/28.1/lisp/org/org-crypt
~/.emacs.d/org-mode/lisp/ob-R hides /usr/share/emacs/28.1/lisp/org/ob-R
~/.emacs.d/org-mode/lisp/org-protocol hides
/usr/share/emacs/28.1/lisp/org/org-protocol
~/.emacs.d/org-mode/lisp/org-id hides /usr/share/emacs/28.1/lisp/org/org-id
~/.emacs.d/org-mode/lisp/oc-csl hides /usr/share/emacs/28.1/lisp/org/oc-csl
~/.emacs.d/org-mode/lisp/ob-latex hides /usr/share/emacs/28.1/lisp/org/ob-latex
~/.emacs.d/org-mode/lisp/ob-lilypond hides
/usr/share/emacs/28.1/lisp/org/ob-lilypond
~/.emacs.d/org-mode/lisp/ob-ditaa hides /usr/share/emacs/28.1/lisp/org/ob-ditaa
~/.emacs.d/org-mode/lisp/ob-sqlite hides
/usr/share/emacs/28.1/lisp/org/ob-sqlite
~/.emacs.d/org-mode/lisp/ob-table hides /usr/share/emacs/28.1/lisp/org/ob-table
~/.emacs.d/org-mode/lisp/org-timer hides
/usr/share/emacs/28.1/lisp/org/org-timer
~/.emacs.d/org-mode/lisp/ox-man hides /usr/share/emacs/28.1/lisp/org/ox-man
~/.emacs.d/org-mode/lisp/ob-lisp hides /usr/share/emacs/28.1/lisp/org/ob-lisp
~/.emacs.d/org-mode/lisp/org-attach-git hides
/usr/share/emacs/28.1/lisp/org/org-attach-git
~/.emacs.d/org-mode/lisp/ob-octave hides
/usr/share/emacs/28.1/lisp/org/ob-octave
~/.emacs.d/org-mode/lisp/org-feed hides /usr/share/emacs/28.1/lisp/org/org-feed
~/.emacs.d/org-mode/lisp/ob-perl hides /usr/share/emacs/28.1/lisp/org/ob-perl
~/.emacs.d/org-mode/lisp/ox-koma-letter hides
/usr/share/emacs/28.1/lisp/org/ox-koma-letter
~/.emacs.d/org-mode/lisp/ob-fortran hides
/usr/share/emacs/28.1/lisp/org/ob-fortran
~/.emacs.d/org-mode/lisp/ob-C hides /usr/share/emacs/28.1/lisp/org/ob-C
~/.emacs.d/org-mode/lisp/org-compat hides
/usr/share/emacs/28.1/lisp/org/org-compat
~/.emacs.d/org-mode/lisp/ob-ref hides /usr/share/emacs/28.1/lisp/org/ob-ref
~/.emacs.d/org-mode/lisp/ob-makefile hides
/usr/share/emacs/28.1/lisp/org/ob-makefile
~/.emacs.d/org-mode/lisp/org-list hides /usr/share/emacs/28.1/lisp/org/org-list
~/.emacs.d/org-mode/lisp/org-tempo hides
/usr/share/emacs/28.1/lisp/org/org-tempo
~/.emacs.d/org-mode/lisp/ob-java hides /usr/share/emacs/28.1/lisp/org/ob-java
~/.emacs.d/org-mode/lisp/org-inlinetask hides
/usr/share/emacs/28.1/lisp/org/org-inlinetask
~/.emacs.d/org-mode/lisp/org-pcomplete hides
/usr/share/emacs/28.1/lisp/org/org-pcomplete
~/.emacs.d/org-mode/lisp/ob hides /usr/share/emacs/28.1/lisp/org/ob
~/.emacs.d/org-mode/lisp/ol-irc hides /usr/share/emacs/28.1/lisp/org/ol-irc
~/.emacs.d/org-mode/lisp/org-colview hides
/usr/share/emacs/28.1/lisp/org/org-colview
~/.emacs.d/org-mode/lisp/org-indent hides
/usr/share/emacs/28.1/lisp/org/org-indent
~/.emacs.d/org-mode/lisp/oc-basic hides /usr/share/emacs/28.1/lisp/org/oc-basic
~/.emacs.d/org-mode/lisp/org-mobile hides
/usr/share/emacs/28.1/lisp/org/org-mobile
~/.emacs.d/org-mode/lisp/ox-beamer hides
/usr/share/emacs/28.1/lisp/org/ox-beamer
~/.emacs.d/org-mode/lisp/ob-groovy hides
/usr/share/emacs/28.1/lisp/org/ob-groovy
~/.emacs.d/org-mode/lisp/org-lint hides /usr/share/emacs/28.1/lisp/org/org-lint
~/.emacs.d/org-mode/lisp/ob-forth hides /usr/share/emacs/28.1/lisp/org/ob-forth
~/.emacs.d/org-mode/lisp/org-faces hides
/usr/share/emacs/28.1/lisp/org/org-faces
~/.emacs.d/org-mode/lisp/org-plot hides /usr/share/emacs/28.1/lisp/org/org-plot
~/.emacs.d/org-mode/lisp/ob-css hides /usr/share/emacs/28.1/lisp/org/ob-css
~/.emacs.d/org-mode/lisp/ob-shell hides /usr/share/emacs/28.1/lisp/org/ob-shell
~/.emacs.d/org-mode/lisp/org-capture hides
/usr/share/emacs/28.1/lisp/org/org-capture
~/.emacs.d/org-mode/lisp/ox-icalendar hides
/usr/share/emacs/28.1/lisp/org/ox-icalendar
~/.emacs.d/org-mode/lisp/org-datetree hides
/usr/share/emacs/28.1/lisp/org/org-datetree
~/.emacs.d/org-mode/lisp/org-clock hides
/usr/share/emacs/28.1/lisp/org/org-clock
~/.emacs.d/org-mode/lisp/org-num hides /usr/share/emacs/28.1/lisp/org/org-num
~/.emacs.d/org-mode/lisp/ob-emacs-lisp hides
/usr/share/emacs/28.1/lisp/org/ob-emacs-lisp
~/.emacs.d/org-mode/lisp/ob-python hides
/usr/share/emacs/28.1/lisp/org/ob-python
~/.emacs.d/org-mode/lisp/ol hides /usr/share/emacs/28.1/lisp/org/ol
~/.emacs.d/org-mode/lisp/org-agenda hides
/usr/share/emacs/28.1/lisp/org/org-agenda
~/.emacs.d/org-mode/lisp/ob-awk hides /usr/share/emacs/28.1/lisp/org/ob-awk
~/.emacs.d/org-mode/lisp/ob-ocaml hides /usr/share/emacs/28.1/lisp/org/ob-ocaml
~/.emacs.d/org-mode/lisp/ox-org hides /usr/share/emacs/28.1/lisp/org/ox-org
~/.emacs.d/org-mode/lisp/ob-org hides /usr/share/emacs/28.1/lisp/org/ob-org
~/.emacs.d/org-mode/lisp/org-ctags hides
/usr/share/emacs/28.1/lisp/org/org-ctags
~/.emacs.d/org-mode/lisp/org-macro hides
/usr/share/emacs/28.1/lisp/org/org-macro
~/.emacs.d/org-mode/lisp/ob-calc hides /usr/share/emacs/28.1/lisp/org/ob-calc
~/.emacs.d/org-mode/lisp/ol-eshell hides
/usr/share/emacs/28.1/lisp/org/ol-eshell
~/.emacs.d/org-mode/lisp/org-version hides
/usr/share/emacs/28.1/lisp/org/org-version
~/.emacs.d/org-mode/lisp/ox-md hides /usr/share/emacs/28.1/lisp/org/ox-md
~/.emacs.d/org-mode/lisp/ox-texinfo hides
/usr/share/emacs/28.1/lisp/org/ox-texinfo
~/.emacs.d/org-mode/lisp/ob-processing hides
/usr/share/emacs/28.1/lisp/org/ob-processing
~/.emacs.d/org-mode/lisp/ob-eval hides /usr/share/emacs/28.1/lisp/org/ob-eval
~/.emacs.d/org-mode/lisp/ob-screen hides
/usr/share/emacs/28.1/lisp/org/ob-screen
~/.emacs.d/org-mode/lisp/ol-info hides /usr/share/emacs/28.1/lisp/org/ol-info
~/.emacs.d/org-mode/lisp/ol-doi hides /usr/share/emacs/28.1/lisp/org/ol-doi
~/.emacs.d/org-mode/lisp/ox-ascii hides /usr/share/emacs/28.1/lisp/org/ox-ascii
~/.emacs.d/org-mode/lisp/oc hides /usr/share/emacs/28.1/lisp/org/oc
~/.emacs.d/org-mode/lisp/org-footnote hides
/usr/share/emacs/28.1/lisp/org/org-footnote
~/.emacs.d/org-mode/lisp/ob-dot hides /usr/share/emacs/28.1/lisp/org/ob-dot
~/.emacs.d/org-mode/lisp/ob-sql hides /usr/share/emacs/28.1/lisp/org/ob-sql
~/.emacs.d/org-mode/lisp/ob-plantuml hides
/usr/share/emacs/28.1/lisp/org/ob-plantuml
~/.emacs.d/org-mode/lisp/org-goto hides /usr/share/emacs/28.1/lisp/org/org-goto
~/.emacs.d/org-mode/lisp/org-keys hides /usr/share/emacs/28.1/lisp/org/org-keys
~/.emacs.d/org-mode/lisp/org-archive hides
/usr/share/emacs/28.1/lisp/org/org-archive
~/.emacs.d/org-mode/lisp/ol-bibtex hides
/usr/share/emacs/28.1/lisp/org/ol-bibtex
~/.emacs.d/org-mode/lisp/ob-maxima hides
/usr/share/emacs/28.1/lisp/org/ob-maxima
~/.emacs.d/org-mode/lisp/ob-tangle hides
/usr/share/emacs/28.1/lisp/org/ob-tangle
~/.emacs.d/org-mode/lisp/org-attach hides
/usr/share/emacs/28.1/lisp/org/org-attach
~/.emacs.d/org-mode/lisp/org-src hides /usr/share/emacs/28.1/lisp/org/org-src
~/.emacs.d/org-mode/lisp/ob-core hides /usr/share/emacs/28.1/lisp/org/ob-core
~/.emacs.d/org-mode/lisp/ol-w3m hides /usr/share/emacs/28.1/lisp/org/ol-w3m
~/.emacs.d/org-mode/lisp/ol-eww hides /usr/share/emacs/28.1/lisp/org/ol-eww
~/.emacs.d/org-mode/lisp/org-install hides
/usr/share/emacs/28.1/lisp/org/org-install
~/.emacs.d/org-mode/lisp/ox-publish hides
/usr/share/emacs/28.1/lisp/org/ox-publish
~/.emacs.d/org-mode/lisp/ob-lua hides /usr/share/emacs/28.1/lisp/org/ob-lua
~/.emacs.d/org-mode/lisp/org hides /usr/share/emacs/28.1/lisp/org/org
~/.emacs.d/org-mode/lisp/org-table hides
/usr/share/emacs/28.1/lisp/org/org-table
~/.emacs.d/org-mode/lisp/ol-mhe hides /usr/share/emacs/28.1/lisp/org/ol-mhe
~/.emacs.d/org-mode/lisp/ol-gnus hides /usr/share/emacs/28.1/lisp/org/ol-gnus
~/.emacs.d/org-mode/lisp/ob-scheme hides
/usr/share/emacs/28.1/lisp/org/ob-scheme
~/.emacs.d/org-mode/lisp/ob-comint hides
/usr/share/emacs/28.1/lisp/org/ob-comint
~/.emacs.d/org-mode/lisp/org-loaddefs hides
/usr/share/emacs/28.1/lisp/org/org-loaddefs
~/.emacs.d/org-mode/lisp/ob-clojure hides
/usr/share/emacs/28.1/lisp/org/ob-clojure
~/.emacs.d/org-mode/lisp/org-macs hides /usr/share/emacs/28.1/lisp/org/org-macs
~/.emacs.d/org-mode/lisp/ox hides /usr/share/emacs/28.1/lisp/org/ox

Features:
(shadow sort bbdb-message mail-extr emacsbug message rmc puny rfc822 mml
mml-sec epa epg rfc6068 epg-config mm-decode mm-bodies mm-encode
gmm-utils mailheader ada-mode ada-imenu ada-skel wisi-skel skeleton
ada-process wisi-process-parse ada-indent-user-options ada-core wisi-prj
wisi wisi-fringe wisi-parse-common semantic/lex semantic/fw mode-local
uniquify-files find-file misearch multi-isearch dired-aux term
disp-table ehelp ibuf-macs ibuffer ibuffer-loaddefs flycheck edts
edts-navigate edts-event edts-api edts-rpc edts-log ferl edts-doc
auto-highlight-symbol erlang tempo align ace-jump-mode cl bbdb-mua
bbdb-com crm mailabbrev bbdb bbdb-site timezone feature-mode
cucumber-mode nyan-mode yasnippet highlight-indentation company-capf
company pcase help-fns radix-tree elpy elpy-rpc pyvenv eshell esh-cmd
esh-ext esh-opt esh-proc esh-io esh-arg esh-module esh-groups esh-util
elpy-shell elpy-profile elpy-django elpy-refactor diff-mode grep
cus-edit cus-load slime-fancy slime-indentation slime-cl-indent
cl-indent slime-trace-dialog slime-fontifying-fu slime-package-fu
slime-references slime-compiler-notes-tree slime-scratch
slime-presentations bridge slime-macrostep macrostep slime-mdot-fu
slime-enclosing-context slime-fuzzy slime-fancy-trace
slime-fancy-inspector slime-c-p-c slime-editing-commands slime-autodoc
slime-repl elp slime-parse slime derived cl-extra help-mode lisp-mnt
mail-parse rfc2231 gud apropos etags fileloop xref arc-mode archive-mode
hyperspec slime-autoloads wheatgrass-theme vimish-fold f dash s
google-c-style ido dired-x ox-md ox-jira help-at-pt ob-ditaa ob-gnuplot
ob-C ob-calc calc-store calc-trail calc-ext calc calc-loaddefs rect
calc-macs ob-sqlite ob-R ob-python python tramp-sh tramp tramp-loaddefs
trampver tramp-integration files-x tramp-compat shell parse-time ls-lisp
ob-sql ob-latex eieio-compat undo-tree diff hl-line erc-goodies erc
erc-backend pp erc-loaddefs smtpmail sendmail nnir gnus nnheader
gnus-util rmail rmail-loaddefs rfc2047 rfc2045 ietf-drums mail-utils
mm-util mail-prsvr wid-edit flymake-gjshint flymake-proc flymake project
compile text-property-search warnings thingatpt js-comint js imenu
cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles cc-align cc-engine
cc-vars cc-defs dired dired-loaddefs edmacro kmacro finder-inf server
time ox-koma-letter ox-odt rng-loc rng-uri rng-parse rng-match rng-dt
rng-util rng-pttrn nxml-parse nxml-ns nxml-enc xmltok nxml-util ox-latex
ox-icalendar org-agenda org-refile ox-html table ox-ascii ox-publish ox
org-element avl-tree generator oc-basic bibtex iso8601 org ob ob-tangle
ob-ref ob-lob ob-table ob-exp org-macro org-footnote org-src ob-comint
org-pcomplete pcomplete comint ansi-color ring org-list org-faces
org-entities time-date noutline outline org-version ob-emacs-lisp
ob-core ob-eval org-table ol rx org-keys oc org-compat advice org-macs
org-loaddefs format-spec find-func cal-menu calendar cal-loaddefs
use-package use-package-ensure use-package-delight use-package-diminish
use-package-bind-key bind-key easy-mmode use-package-core info package
browse-url url url-proxy url-privacy url-expand url-methods url-history
url-cookie url-domsuf url-util mailcap url-handlers url-parse
auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs
password-cache json subr-x map url-vars seq byte-opt gv bytecomp
byte-compile cconv cl-loaddefs cl-lib iso-transl tooltip eldoc paren
electric uniquify ediff-hook vc-hooks lisp-float-type elisp-mode mwheel
term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image
regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode
prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu
timer select scroll-bar mouse jit-lock font-lock syntax font-core
term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang
misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms
cp51932 hebrew greek romanian slovak czech european ethiopic indian
cyrillic chinese composite emoji-zwj charscript charprop case-table
epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice
button loaddefs faces cus-face macroexp files window text-properties
overlay sha1 md5 base64 format env code-pages mule custom widget
hashtable-print-readable backquote threads dbusbind inotify lcms2
dynamic-setting system-font-setting font-render-setting cairo
move-toolbar gtk x-toolkit x multi-tty make-network-process emacs)

Memory information:
((conses 16 740514 101220)
 (symbols 48 49642 3)
 (strings 32 202479 4787)
 (string-bytes 1 6306959)
 (vectors 16 69568)
 (vector-slots 8 776012 40235)
 (floats 8 217 181)
 (intervals 56 20661 131)
 (buffers 992 18))




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#55880; Package emacs. (Tue, 28 Jun 2022 21:21:02 GMT) Full text and rfc822 format available.

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

From: Stefan Kangas <stefan <at> marxist.se>
To: Left Right <olegsivokon <at> gmail.com>
Cc: 55880 <at> debbugs.gnu.org, Stephen Leake <stephen_leake <at> stephe-leake.org>
Subject: Re: bug#55880: 28.1;
 wisi: Errors in sal-gen_unbounded_definite_queues.adb
Date: Tue, 28 Jun 2022 14:20:34 -0700
[Reassigning to package "emacs,ada-mode" and copying in Stephen Leake.]

Left Right <olegsivokon <at> gmail.com> writes:

> Hi.
>
> I'm trying to build and install Ada mode, and I'm not able to compile
> wisi (support code for parser written in Ada).  The problematic
> functions are:
>
>    function Peek (Queue : in Pkg.Queue; N : Peek_Type := 1) return
> Constant_Reference_Type
>    is
>       use Ada.Containers;
>       use Element_Lists;
>       I : Cursor := Queue.Data.First;
>    begin
>       if Count_Type (N) > Queue.Data.Length then
>          raise Parameter_Error;
>       end if;
>
>       for K in 2 .. N loop
>          Next (I);
>       end loop;
>
>       return (Element => Element_Lists.Constant_Reference (Queue.Data,
> I).Element, Dummy => 1);
>    end Peek;
>
>    function Variable_Peek (Queue : in out Pkg.Queue; N : Peek_Type :=
> 1) return Variable_Reference_Type
>    is
>       use Ada.Containers;
>       use Element_Lists;
>       I : Cursor := Queue.Data.First;
>    begin
>       if Count_Type (N) > Queue.Data.Length then
>          raise Parameter_Error;
>       end if;
>
>       for K in 2 .. N loop
>          Next (I);
>       end loop;
>
>       return (Element => Element_Lists.Variable_Reference (Queue.Data,
> I).Element, Dummy => 1);
>    end Variable_Peek;
>
> And the error is:
>
> sal-gen_unbounded_definite_queues.adb:67:07: error: access
> discriminant in return object would be a dangling reference
> sal-gen_unbounded_definite_queues.adb:84:07: error: access discriminant
> in return object would be a dangling reference
>
> I'm using:
>
> ❯ gprbuild --version
> GPRBUILD Pro 18.0w (19940713) (x86_64-pc-linux-gnu)
> Copyright (C) 2004-2016, AdaCore
> This is free software; see the source for copying conditions.
> See your AdaCore support agreement for details of warranty and support.
> If you do not have a current support agreement, then there is absolutely
> no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> PURPOSE.
>
> ❯ gnat --version
> GNAT 12.1.0
> Copyright (C) 1996-2022, Free Software Foundation, Inc.
> This is free software; see the source for copying conditions.
> There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
> PARTICULAR PURPOSE.
>
> I'm using version 3.1.7 of wisi (the latest as of time of writing).
> I'm using version Ada mode 7.2.0 (the latest as of time of writing).
>
> Unfortunately, I don't know how to fix the error, but hope it's not too
> difficult.
>
> Thanks.
>
> Oleg
>
> In GNU Emacs 28.1 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.33,
> cairo version 1.17.6)
>  of 2022-04-28 built on frederik
> Windowing system distributor 'The X.Org Foundation', version 11.0.12101003
> System Description: Manjaro Linux
>
> Configured using:
>  'configure --sysconfdir=/etc --prefix=/usr --libexecdir=/usr/lib
>  --localstatedir=/var --with-cairo --with-harfbuzz --with-libsystemd
>  --with-modules --with-x-toolkit=gtk3 'CFLAGS=-march=x86-64
>  -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2
>  -Wformat -Werror=format-security -fstack-clash-protection
>  -fcf-protection -g -ffile-prefix-map=/build/emacs/src=/usr/src/debug
>  -flto=auto' 'LDFLAGS=-Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now
>  -flto=auto''
>
> Configured features:
> ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG
> JSON LCMS2 LIBOTF LIBSYSTEMD LIBXML2 M17N_FLT MODULES NOTIFY INOTIFY
> PDUMPER PNG RSVG SECCOMP SOUND THREADS TIFF TOOLKIT_SCROLL_BARS X11 XDBE
> XIM XPM GTK3 ZLIB
>
> Important settings:
>   value of $LC_MONETARY: nl_NL.UTF-8
>   value of $LC_NUMERIC: nl_NL.UTF-8
>   value of $LC_TIME: nl_NL.UTF-8
>   value of $LANG: en_US.UTF-8
>   value of $XMODIFIERS: @im=ibus
>   locale-coding-system: utf-8-unix
>
> Major mode: Dired by name
>
> Minor modes in effect:
>   global-flycheck-mode: t
>   pyvenv-mode: t
>   vimish-fold-global-mode: t
>   vimish-fold-mode: t
>   ido-everywhere: t
>   shell-dirtrack-mode: t
>   global-undo-tree-mode: t
>   global-hl-line-mode: t
>   display-time-mode: t
>   override-global-mode: t
>   tooltip-mode: t
>   global-eldoc-mode: t
>   show-paren-mode: t
>   electric-indent-mode: t
>   mouse-wheel-mode: t
>   file-name-shadow-mode: t
>   global-font-lock-mode: t
>   font-lock-mode: t
>   blink-cursor-mode: t
>   auto-composition-mode: t
>   auto-encryption-mode: t
>   auto-compression-mode: t
>   buffer-read-only: t
>   line-number-mode: t
>   transient-mark-mode: t
>
> Load-path shadows:
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-start hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-start
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-test hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-test
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels-old hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels-old
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-eunit hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-eunit
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-skels hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-skels
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-flymake hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-flymake
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erlang-edoc hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erlang-edoc
> /usr/local/lib/erlang/lib/tools-3.5.2/emacs/erldoc hides
> /home/olegs/.emacs.d/elpa/erlang-20210315.1640/erldoc
> /home/olegs/.emacs.d/elpa/cmake-mode-20210104.1831/cmake-mode hides
> /usr/share/emacs/site-lisp/cmake-mode
> /home/olegs/.emacs.d/elpa/transient-20210420.1635/transient hides
> /usr/share/emacs/28.1/lisp/transient
> ~/.emacs.d/org-mode/lisp/org-entities hides
> /usr/share/emacs/28.1/lisp/org/org-entities
> ~/.emacs.d/org-mode/lisp/ox-html hides /usr/share/emacs/28.1/lisp/org/ox-html
> ~/.emacs.d/org-mode/lisp/org-element hides
> /usr/share/emacs/28.1/lisp/org/org-element
> ~/.emacs.d/org-mode/lisp/oc-natbib hides
> /usr/share/emacs/28.1/lisp/org/oc-natbib
> ~/.emacs.d/org-mode/lisp/ox-latex hides /usr/share/emacs/28.1/lisp/org/ox-latex
> ~/.emacs.d/org-mode/lisp/ob-sass hides /usr/share/emacs/28.1/lisp/org/ob-sass
> ~/.emacs.d/org-mode/lisp/oc-biblatex hides
> /usr/share/emacs/28.1/lisp/org/oc-biblatex
> ~/.emacs.d/org-mode/lisp/ox-odt hides /usr/share/emacs/28.1/lisp/org/ox-odt
> ~/.emacs.d/org-mode/lisp/ob-gnuplot hides
> /usr/share/emacs/28.1/lisp/org/ob-gnuplot
> ~/.emacs.d/org-mode/lisp/ob-lob hides /usr/share/emacs/28.1/lisp/org/ob-lob
> ~/.emacs.d/org-mode/lisp/ol-bbdb hides /usr/share/emacs/28.1/lisp/org/ol-bbdb
> ~/.emacs.d/org-mode/lisp/ol-rmail hides /usr/share/emacs/28.1/lisp/org/ol-rmail
> ~/.emacs.d/org-mode/lisp/ob-ruby hides /usr/share/emacs/28.1/lisp/org/ob-ruby
> ~/.emacs.d/org-mode/lisp/ob-matlab hides
> /usr/share/emacs/28.1/lisp/org/ob-matlab
> ~/.emacs.d/org-mode/lisp/org-duration hides
> /usr/share/emacs/28.1/lisp/org/org-duration
> ~/.emacs.d/org-mode/lisp/org-habit hides
> /usr/share/emacs/28.1/lisp/org/org-habit
> ~/.emacs.d/org-mode/lisp/ol-docview hides
> /usr/share/emacs/28.1/lisp/org/ol-docview
> ~/.emacs.d/org-mode/lisp/org-mouse hides
> /usr/share/emacs/28.1/lisp/org/org-mouse
> ~/.emacs.d/org-mode/lisp/ob-js hides /usr/share/emacs/28.1/lisp/org/ob-js
> ~/.emacs.d/org-mode/lisp/org-refile hides
> /usr/share/emacs/28.1/lisp/org/org-refile
> ~/.emacs.d/org-mode/lisp/ob-sed hides /usr/share/emacs/28.1/lisp/org/ob-sed
> ~/.emacs.d/org-mode/lisp/ob-eshell hides
> /usr/share/emacs/28.1/lisp/org/ob-eshell
> ~/.emacs.d/org-mode/lisp/ob-exp hides /usr/share/emacs/28.1/lisp/org/ob-exp
> ~/.emacs.d/org-mode/lisp/ob-haskell hides
> /usr/share/emacs/28.1/lisp/org/ob-haskell
> ~/.emacs.d/org-mode/lisp/org-crypt hides
> /usr/share/emacs/28.1/lisp/org/org-crypt
> ~/.emacs.d/org-mode/lisp/ob-R hides /usr/share/emacs/28.1/lisp/org/ob-R
> ~/.emacs.d/org-mode/lisp/org-protocol hides
> /usr/share/emacs/28.1/lisp/org/org-protocol
> ~/.emacs.d/org-mode/lisp/org-id hides /usr/share/emacs/28.1/lisp/org/org-id
> ~/.emacs.d/org-mode/lisp/oc-csl hides /usr/share/emacs/28.1/lisp/org/oc-csl
> ~/.emacs.d/org-mode/lisp/ob-latex hides /usr/share/emacs/28.1/lisp/org/ob-latex
> ~/.emacs.d/org-mode/lisp/ob-lilypond hides
> /usr/share/emacs/28.1/lisp/org/ob-lilypond
> ~/.emacs.d/org-mode/lisp/ob-ditaa hides /usr/share/emacs/28.1/lisp/org/ob-ditaa
> ~/.emacs.d/org-mode/lisp/ob-sqlite hides
> /usr/share/emacs/28.1/lisp/org/ob-sqlite
> ~/.emacs.d/org-mode/lisp/ob-table hides /usr/share/emacs/28.1/lisp/org/ob-table
> ~/.emacs.d/org-mode/lisp/org-timer hides
> /usr/share/emacs/28.1/lisp/org/org-timer
> ~/.emacs.d/org-mode/lisp/ox-man hides /usr/share/emacs/28.1/lisp/org/ox-man
> ~/.emacs.d/org-mode/lisp/ob-lisp hides /usr/share/emacs/28.1/lisp/org/ob-lisp
> ~/.emacs.d/org-mode/lisp/org-attach-git hides
> /usr/share/emacs/28.1/lisp/org/org-attach-git
> ~/.emacs.d/org-mode/lisp/ob-octave hides
> /usr/share/emacs/28.1/lisp/org/ob-octave
> ~/.emacs.d/org-mode/lisp/org-feed hides /usr/share/emacs/28.1/lisp/org/org-feed
> ~/.emacs.d/org-mode/lisp/ob-perl hides /usr/share/emacs/28.1/lisp/org/ob-perl
> ~/.emacs.d/org-mode/lisp/ox-koma-letter hides
> /usr/share/emacs/28.1/lisp/org/ox-koma-letter
> ~/.emacs.d/org-mode/lisp/ob-fortran hides
> /usr/share/emacs/28.1/lisp/org/ob-fortran
> ~/.emacs.d/org-mode/lisp/ob-C hides /usr/share/emacs/28.1/lisp/org/ob-C
> ~/.emacs.d/org-mode/lisp/org-compat hides
> /usr/share/emacs/28.1/lisp/org/org-compat
> ~/.emacs.d/org-mode/lisp/ob-ref hides /usr/share/emacs/28.1/lisp/org/ob-ref
> ~/.emacs.d/org-mode/lisp/ob-makefile hides
> /usr/share/emacs/28.1/lisp/org/ob-makefile
> ~/.emacs.d/org-mode/lisp/org-list hides /usr/share/emacs/28.1/lisp/org/org-list
> ~/.emacs.d/org-mode/lisp/org-tempo hides
> /usr/share/emacs/28.1/lisp/org/org-tempo
> ~/.emacs.d/org-mode/lisp/ob-java hides /usr/share/emacs/28.1/lisp/org/ob-java
> ~/.emacs.d/org-mode/lisp/org-inlinetask hides
> /usr/share/emacs/28.1/lisp/org/org-inlinetask
> ~/.emacs.d/org-mode/lisp/org-pcomplete hides
> /usr/share/emacs/28.1/lisp/org/org-pcomplete
> ~/.emacs.d/org-mode/lisp/ob hides /usr/share/emacs/28.1/lisp/org/ob
> ~/.emacs.d/org-mode/lisp/ol-irc hides /usr/share/emacs/28.1/lisp/org/ol-irc
> ~/.emacs.d/org-mode/lisp/org-colview hides
> /usr/share/emacs/28.1/lisp/org/org-colview
> ~/.emacs.d/org-mode/lisp/org-indent hides
> /usr/share/emacs/28.1/lisp/org/org-indent
> ~/.emacs.d/org-mode/lisp/oc-basic hides /usr/share/emacs/28.1/lisp/org/oc-basic
> ~/.emacs.d/org-mode/lisp/org-mobile hides
> /usr/share/emacs/28.1/lisp/org/org-mobile
> ~/.emacs.d/org-mode/lisp/ox-beamer hides
> /usr/share/emacs/28.1/lisp/org/ox-beamer
> ~/.emacs.d/org-mode/lisp/ob-groovy hides
> /usr/share/emacs/28.1/lisp/org/ob-groovy
> ~/.emacs.d/org-mode/lisp/org-lint hides /usr/share/emacs/28.1/lisp/org/org-lint
> ~/.emacs.d/org-mode/lisp/ob-forth hides /usr/share/emacs/28.1/lisp/org/ob-forth
> ~/.emacs.d/org-mode/lisp/org-faces hides
> /usr/share/emacs/28.1/lisp/org/org-faces
> ~/.emacs.d/org-mode/lisp/org-plot hides /usr/share/emacs/28.1/lisp/org/org-plot
> ~/.emacs.d/org-mode/lisp/ob-css hides /usr/share/emacs/28.1/lisp/org/ob-css
> ~/.emacs.d/org-mode/lisp/ob-shell hides /usr/share/emacs/28.1/lisp/org/ob-shell
> ~/.emacs.d/org-mode/lisp/org-capture hides
> /usr/share/emacs/28.1/lisp/org/org-capture
> ~/.emacs.d/org-mode/lisp/ox-icalendar hides
> /usr/share/emacs/28.1/lisp/org/ox-icalendar
> ~/.emacs.d/org-mode/lisp/org-datetree hides
> /usr/share/emacs/28.1/lisp/org/org-datetree
> ~/.emacs.d/org-mode/lisp/org-clock hides
> /usr/share/emacs/28.1/lisp/org/org-clock
> ~/.emacs.d/org-mode/lisp/org-num hides /usr/share/emacs/28.1/lisp/org/org-num
> ~/.emacs.d/org-mode/lisp/ob-emacs-lisp hides
> /usr/share/emacs/28.1/lisp/org/ob-emacs-lisp
> ~/.emacs.d/org-mode/lisp/ob-python hides
> /usr/share/emacs/28.1/lisp/org/ob-python
> ~/.emacs.d/org-mode/lisp/ol hides /usr/share/emacs/28.1/lisp/org/ol
> ~/.emacs.d/org-mode/lisp/org-agenda hides
> /usr/share/emacs/28.1/lisp/org/org-agenda
> ~/.emacs.d/org-mode/lisp/ob-awk hides /usr/share/emacs/28.1/lisp/org/ob-awk
> ~/.emacs.d/org-mode/lisp/ob-ocaml hides /usr/share/emacs/28.1/lisp/org/ob-ocaml
> ~/.emacs.d/org-mode/lisp/ox-org hides /usr/share/emacs/28.1/lisp/org/ox-org
> ~/.emacs.d/org-mode/lisp/ob-org hides /usr/share/emacs/28.1/lisp/org/ob-org
> ~/.emacs.d/org-mode/lisp/org-ctags hides
> /usr/share/emacs/28.1/lisp/org/org-ctags
> ~/.emacs.d/org-mode/lisp/org-macro hides
> /usr/share/emacs/28.1/lisp/org/org-macro
> ~/.emacs.d/org-mode/lisp/ob-calc hides /usr/share/emacs/28.1/lisp/org/ob-calc
> ~/.emacs.d/org-mode/lisp/ol-eshell hides
> /usr/share/emacs/28.1/lisp/org/ol-eshell
> ~/.emacs.d/org-mode/lisp/org-version hides
> /usr/share/emacs/28.1/lisp/org/org-version
> ~/.emacs.d/org-mode/lisp/ox-md hides /usr/share/emacs/28.1/lisp/org/ox-md
> ~/.emacs.d/org-mode/lisp/ox-texinfo hides
> /usr/share/emacs/28.1/lisp/org/ox-texinfo
> ~/.emacs.d/org-mode/lisp/ob-processing hides
> /usr/share/emacs/28.1/lisp/org/ob-processing
> ~/.emacs.d/org-mode/lisp/ob-eval hides /usr/share/emacs/28.1/lisp/org/ob-eval
> ~/.emacs.d/org-mode/lisp/ob-screen hides
> /usr/share/emacs/28.1/lisp/org/ob-screen
> ~/.emacs.d/org-mode/lisp/ol-info hides /usr/share/emacs/28.1/lisp/org/ol-info
> ~/.emacs.d/org-mode/lisp/ol-doi hides /usr/share/emacs/28.1/lisp/org/ol-doi
> ~/.emacs.d/org-mode/lisp/ox-ascii hides /usr/share/emacs/28.1/lisp/org/ox-ascii
> ~/.emacs.d/org-mode/lisp/oc hides /usr/share/emacs/28.1/lisp/org/oc
> ~/.emacs.d/org-mode/lisp/org-footnote hides
> /usr/share/emacs/28.1/lisp/org/org-footnote
> ~/.emacs.d/org-mode/lisp/ob-dot hides /usr/share/emacs/28.1/lisp/org/ob-dot
> ~/.emacs.d/org-mode/lisp/ob-sql hides /usr/share/emacs/28.1/lisp/org/ob-sql
> ~/.emacs.d/org-mode/lisp/ob-plantuml hides
> /usr/share/emacs/28.1/lisp/org/ob-plantuml
> ~/.emacs.d/org-mode/lisp/org-goto hides /usr/share/emacs/28.1/lisp/org/org-goto
> ~/.emacs.d/org-mode/lisp/org-keys hides /usr/share/emacs/28.1/lisp/org/org-keys
> ~/.emacs.d/org-mode/lisp/org-archive hides
> /usr/share/emacs/28.1/lisp/org/org-archive
> ~/.emacs.d/org-mode/lisp/ol-bibtex hides
> /usr/share/emacs/28.1/lisp/org/ol-bibtex
> ~/.emacs.d/org-mode/lisp/ob-maxima hides
> /usr/share/emacs/28.1/lisp/org/ob-maxima
> ~/.emacs.d/org-mode/lisp/ob-tangle hides
> /usr/share/emacs/28.1/lisp/org/ob-tangle
> ~/.emacs.d/org-mode/lisp/org-attach hides
> /usr/share/emacs/28.1/lisp/org/org-attach
> ~/.emacs.d/org-mode/lisp/org-src hides /usr/share/emacs/28.1/lisp/org/org-src
> ~/.emacs.d/org-mode/lisp/ob-core hides /usr/share/emacs/28.1/lisp/org/ob-core
> ~/.emacs.d/org-mode/lisp/ol-w3m hides /usr/share/emacs/28.1/lisp/org/ol-w3m
> ~/.emacs.d/org-mode/lisp/ol-eww hides /usr/share/emacs/28.1/lisp/org/ol-eww
> ~/.emacs.d/org-mode/lisp/org-install hides
> /usr/share/emacs/28.1/lisp/org/org-install
> ~/.emacs.d/org-mode/lisp/ox-publish hides
> /usr/share/emacs/28.1/lisp/org/ox-publish
> ~/.emacs.d/org-mode/lisp/ob-lua hides /usr/share/emacs/28.1/lisp/org/ob-lua
> ~/.emacs.d/org-mode/lisp/org hides /usr/share/emacs/28.1/lisp/org/org
> ~/.emacs.d/org-mode/lisp/org-table hides
> /usr/share/emacs/28.1/lisp/org/org-table
> ~/.emacs.d/org-mode/lisp/ol-mhe hides /usr/share/emacs/28.1/lisp/org/ol-mhe
> ~/.emacs.d/org-mode/lisp/ol-gnus hides /usr/share/emacs/28.1/lisp/org/ol-gnus
> ~/.emacs.d/org-mode/lisp/ob-scheme hides
> /usr/share/emacs/28.1/lisp/org/ob-scheme
> ~/.emacs.d/org-mode/lisp/ob-comint hides
> /usr/share/emacs/28.1/lisp/org/ob-comint
> ~/.emacs.d/org-mode/lisp/org-loaddefs hides
> /usr/share/emacs/28.1/lisp/org/org-loaddefs
> ~/.emacs.d/org-mode/lisp/ob-clojure hides
> /usr/share/emacs/28.1/lisp/org/ob-clojure
> ~/.emacs.d/org-mode/lisp/org-macs hides /usr/share/emacs/28.1/lisp/org/org-macs
> ~/.emacs.d/org-mode/lisp/ox hides /usr/share/emacs/28.1/lisp/org/ox
>
> Features:
> (shadow sort bbdb-message mail-extr emacsbug message rmc puny rfc822 mml
> mml-sec epa epg rfc6068 epg-config mm-decode mm-bodies mm-encode
> gmm-utils mailheader ada-mode ada-imenu ada-skel wisi-skel skeleton
> ada-process wisi-process-parse ada-indent-user-options ada-core wisi-prj
> wisi wisi-fringe wisi-parse-common semantic/lex semantic/fw mode-local
> uniquify-files find-file misearch multi-isearch dired-aux term
> disp-table ehelp ibuf-macs ibuffer ibuffer-loaddefs flycheck edts
> edts-navigate edts-event edts-api edts-rpc edts-log ferl edts-doc
> auto-highlight-symbol erlang tempo align ace-jump-mode cl bbdb-mua
> bbdb-com crm mailabbrev bbdb bbdb-site timezone feature-mode
> cucumber-mode nyan-mode yasnippet highlight-indentation company-capf
> company pcase help-fns radix-tree elpy elpy-rpc pyvenv eshell esh-cmd
> esh-ext esh-opt esh-proc esh-io esh-arg esh-module esh-groups esh-util
> elpy-shell elpy-profile elpy-django elpy-refactor diff-mode grep
> cus-edit cus-load slime-fancy slime-indentation slime-cl-indent
> cl-indent slime-trace-dialog slime-fontifying-fu slime-package-fu
> slime-references slime-compiler-notes-tree slime-scratch
> slime-presentations bridge slime-macrostep macrostep slime-mdot-fu
> slime-enclosing-context slime-fuzzy slime-fancy-trace
> slime-fancy-inspector slime-c-p-c slime-editing-commands slime-autodoc
> slime-repl elp slime-parse slime derived cl-extra help-mode lisp-mnt
> mail-parse rfc2231 gud apropos etags fileloop xref arc-mode archive-mode
> hyperspec slime-autoloads wheatgrass-theme vimish-fold f dash s
> google-c-style ido dired-x ox-md ox-jira help-at-pt ob-ditaa ob-gnuplot
> ob-C ob-calc calc-store calc-trail calc-ext calc calc-loaddefs rect
> calc-macs ob-sqlite ob-R ob-python python tramp-sh tramp tramp-loaddefs
> trampver tramp-integration files-x tramp-compat shell parse-time ls-lisp
> ob-sql ob-latex eieio-compat undo-tree diff hl-line erc-goodies erc
> erc-backend pp erc-loaddefs smtpmail sendmail nnir gnus nnheader
> gnus-util rmail rmail-loaddefs rfc2047 rfc2045 ietf-drums mail-utils
> mm-util mail-prsvr wid-edit flymake-gjshint flymake-proc flymake project
> compile text-property-search warnings thingatpt js-comint js imenu
> cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles cc-align cc-engine
> cc-vars cc-defs dired dired-loaddefs edmacro kmacro finder-inf server
> time ox-koma-letter ox-odt rng-loc rng-uri rng-parse rng-match rng-dt
> rng-util rng-pttrn nxml-parse nxml-ns nxml-enc xmltok nxml-util ox-latex
> ox-icalendar org-agenda org-refile ox-html table ox-ascii ox-publish ox
> org-element avl-tree generator oc-basic bibtex iso8601 org ob ob-tangle
> ob-ref ob-lob ob-table ob-exp org-macro org-footnote org-src ob-comint
> org-pcomplete pcomplete comint ansi-color ring org-list org-faces
> org-entities time-date noutline outline org-version ob-emacs-lisp
> ob-core ob-eval org-table ol rx org-keys oc org-compat advice org-macs
> org-loaddefs format-spec find-func cal-menu calendar cal-loaddefs
> use-package use-package-ensure use-package-delight use-package-diminish
> use-package-bind-key bind-key easy-mmode use-package-core info package
> browse-url url url-proxy url-privacy url-expand url-methods url-history
> url-cookie url-domsuf url-util mailcap url-handlers url-parse
> auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs
> password-cache json subr-x map url-vars seq byte-opt gv bytecomp
> byte-compile cconv cl-loaddefs cl-lib iso-transl tooltip eldoc paren
> electric uniquify ediff-hook vc-hooks lisp-float-type elisp-mode mwheel
> term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image
> regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode
> prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu
> timer select scroll-bar mouse jit-lock font-lock syntax font-core
> term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang
> misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms
> cp51932 hebrew greek romanian slovak czech european ethiopic indian
> cyrillic chinese composite emoji-zwj charscript charprop case-table
> epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice
> button loaddefs faces cus-face macroexp files window text-properties
> overlay sha1 md5 base64 format env code-pages mule custom widget
> hashtable-print-readable backquote threads dbusbind inotify lcms2
> dynamic-setting system-font-setting font-render-setting cairo
> move-toolbar gtk x-toolkit x multi-tty make-network-process emacs)
>
> Memory information:
> ((conses 16 740514 101220)
>  (symbols 48 49642 3)
>  (strings 32 202479 4787)
>  (string-bytes 1 6306959)
>  (vectors 16 69568)
>  (vector-slots 8 776012 40235)
>  (floats 8 217 181)
>  (intervals 56 20661 131)
>  (buffers 992 18))




bug reassigned from package 'emacs' to 'emacs,ada-mode'. Request was from Stefan Kangas <stefan <at> marxist.se> to control <at> debbugs.gnu.org. (Tue, 28 Jun 2022 21:21:04 GMT) Full text and rfc822 format available.

bug No longer marked as found in versions 28.1. Request was from Stefan Kangas <stefan <at> marxist.se> to control <at> debbugs.gnu.org. (Tue, 28 Jun 2022 21:21:05 GMT) Full text and rfc822 format available.

Information forwarded to bug-gnu-emacs <at> gnu.org, stephen_leake <at> stephe-leake.org:
bug#55880; Package emacs,ada-mode. (Sat, 02 Jul 2022 00:18:01 GMT) Full text and rfc822 format available.

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

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 55880 <at> debbugs.gnu.org
Subject: Re: bug#55880: 28.1; wisi: Errors in
 sal-gen_unbounded_definite_queues.adb
Date: Fri, 01 Jul 2022 17:17:28 -0700
ada-mode 7.2.0 was tested with GNAT Community 2021. The development
version of ada-mode handles more recent versions of GNAT; a new release
is in process.

-- 
-- Stephe




Information forwarded to bug-gnu-emacs <at> gnu.org, stephen_leake <at> stephe-leake.org:
bug#55880; Package emacs,ada-mode. (Sat, 09 Jul 2022 03:57:02 GMT) Full text and rfc822 format available.

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

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 55880 <at> debbugs.gnu.org
Subject: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb
Date: Fri, 08 Jul 2022 20:56:32 -0700
tags 55880 + pending
-- 
-- Stephe




Information forwarded to bug-gnu-emacs <at> gnu.org, stephen_leake <at> stephe-leake.org:
bug#55880; Package emacs,ada-mode. (Sat, 09 Jul 2022 03:59:02 GMT) Full text and rfc822 format available.

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

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 55880 <at> debbugs.gnu.org
Subject: update
Date: Fri, 08 Jul 2022 20:57:48 -0700
tags 55880 + pending
-- 
-- Stephe




Reply sent to Stephen Leake <stephen_leake <at> stephe-leake.org>:
You have taken responsibility. (Wed, 25 Jan 2023 14:02:02 GMT) Full text and rfc822 format available.

Notification sent to Left Right <olegsivokon <at> gmail.com>:
bug acknowledged by developer. (Wed, 25 Jan 2023 14:02:03 GMT) Full text and rfc822 format available.

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

From: Stephen Leake <stephen_leake <at> stephe-leake.org>
To: 55880-close <at> debbugs.gnu.org
Subject: 28.1; wisi: Errors in sal-gen_unbounded_definite_queues.adb
Date: Wed, 25 Jan 2023 06:00:46 -0800
closed by ada-mode 8.0.4
-- 
-- Stephe




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 23 Feb 2023 12:24:12 GMT) Full text and rfc822 format available.

This bug report was last modified 1 year and 62 days ago.

Previous Next


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