Re: Ada-mode-users Digest, Vol 64, Issue 4

[Left Right]

> It took me a while to find that Ada mode has a dedicated Info manual,

> That's standard Emacs practice. It is mentioned in the package info
> shown by M-x list-packages, C-s ada, <ret>.

> How else should we present that information so you would have found it
> quicker?

No change necessary. I was just explaining that I didn't know this earlier.

> You also have to tell Emacs that is the current project. Note that the
> directory containing the project file is included by default, so you
> don't need that src_dir entry. You also have to specify the gpr file.

So... how to I tell Emacs that is the current project. Like I wrote
earlier, Emacs manual doesn't have this information, neither Ada Mode
manual has it.  It's not a very long read, so, unlikely that I've
missed it.
How do I specify the gpr file? What variable should I assign this to?
This isn't covered in the manual...

> You should work thru the tutorials in the info manual; they give working
> examples of the various ways to use project files. The simplest way is
> to use the gpr file itself as the ada-mode project file.

What section of info manual are we talking about? It sounds like you
are talking about Ada Mode manual, but I cannot find any description
of how to use gpr file itself as ada-mode project file. It does
mention that it's possible, but doesn't tell what needs to be done to
accomplish that.

> Anyways. My major problem with the title section of the manual is that
> it doesn't tell how to select projects.

> There is a section in ada-mode.info titled "Project Files". The first
> line in that refers to the info file for wisi project files. That file
> has a section titled "Project extension" (this could have a better
> name). In there is a section titled "selecting projects".

I reproduce below the section that you mentioned. It has no
information about selecting projects:

3.1 Project files
=================

Project file names must have an extension given by
'wisi-prj-file-extensions' (default '.adp, .prj').

   Project files have a simple syntax; they may be edited directly.
Each line specifies a project variable name and its value, separated by
"=":

     src_dir=/Projects/my_project/src_1
     src_dir=/Projects/my_project/src_2

   There must be no space between the variable name and "=", and no
trailing spaces after the value.

   Any line that does not have an "=" is a comment.

   Some variables (like 'src_dir') are lists; each line in the project
file specifies one element of the list.  The value on the last line is
the last element in the list.

   A variable name that starts with '$' is set as a process environment
variable, for processes launched from Emacs for the project.

   In values, process environment variables can be referenced using the
normal '$var' syntax.

   In values, relative file names are expanded relative to the directory
containing the project file.

   Here is the list of project variables defined by wisi; major modes
may add more.

'casing' [slot: 'case-exception-files']
     List of files containing casing exceptions, either absolute,
     relative to the project file directory, or found on the project
     file path.  *Note Casing exception files::.

'import_env_var' [slot: 'file-env']
     Copies an environment variable from 'process-environment'.

'src_dir' [slot: 'source-path']
     A list of directories to search for source files.

'$<name>' [slot: 'file-env']
     Set an environment variable 'name' in the local 'file-env'; it may
     be referenced in subsequent project file statements, and in
     processes spawned by the project.

On Tue, Nov 14, 2023 at 6:01 PM <ada-mode-users-request@nongnu.org> wrote:
>
> Send Ada-mode-users mailing list submissions to
>         ada-mode-users@nongnu.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         https://lists.nongnu.org/mailman/listinfo/ada-mode-users
> or, via email, send a message with subject or body 'help' to
>         ada-mode-users-request@nongnu.org
>
> You can reach the person managing the list at
>         ada-mode-users-owner@nongnu.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Ada-mode-users digest..."
>
>
> Today's Topics:
>
>    1. Re: 3.2 Selecting projects -- So, how do I select projects?
>       (Stephen Leake)
>    2. Re: [SPAM UNSURE] Re: [SPAM UNSURE] Attempting to reindent
>       code results in error (Stephen Leake)
>    3. Re: [SPAM UNSURE] [SPAM UNSURE] Attempting to reindent code
>       results in error (Simon Wright)
>    4. Re: [SPAM UNSURE] [SPAM UNSURE] Attempting to reindent code
>       results in error (Simon Wright)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Mon, 13 Nov 2023 13:50:09 -0800
> From: Stephen Leake <stephen_leake@stephe-leake.org>
> To: Left Right <olegsivokon@gmail.com>
> Cc: ada-mode-users <ada-mode-users@nongnu.org>
> Subject: Re: 3.2 Selecting projects -- So, how do I select projects?
> Message-ID: <86msvhxqzy.fsf@stephe-leake.org>
> Content-Type: text/plain
>
> Left Right <olegsivokon@gmail.com> writes:
>
> > It took me a while to find that Ada mode has a dedicated Info manual,
>
> That's standard Emacs practice. It is mentioned in the package info
> shown by M-x list-packages, C-s ada, <ret>.
>
> How else should we present that information so you would have found it
> quicker?
>
> >>From my reading of both the manual linked above and the Info Ada Mode
> > manual, I figured that probably putting a file "project.prj" in the
> > root directory of my repository with the contents:
> >
> > src_dir=/home/olegs/src/try-ada/test_project
> >
> > should have the effect of specifying my project and its root
> > directory.
>
> You also have to tell Emacs that is the current project. Note that the
> directory containing the project file is included by default, so you
> don't need that src_dir entry. You also have to specify the gpr file.
>
> You should work thru the tutorials in the info manual; they give working
> examples of the various ways to use project files. The simplest way is
> to use the gpr file itself as the ada-mode project file.
>
> > Anyways. My major problem with the title section of the manual is that
> > it doesn't tell how to select projects.
>
> There is a section in ada-mode.info titled "Project Files". The first
> line in that refers to the info file for wisi project files. That file
> has a section titled "Project extension" (this could have a better
> name). In there is a section titled "selecting projects".
>
> --
> -- Stephe
>
>
>
> ------------------------------
>
> Message: 2
> Date: Mon, 13 Nov 2023 13:53:57 -0800
> From: Stephen Leake <stephen_leake@stephe-leake.org>
> To: Left Right <olegsivokon@gmail.com>
> Cc: Simon Wright <simon.j.wright@mac.com>,  ada-mode-users@nongnu.org
> Subject: Re: [SPAM UNSURE] Re: [SPAM UNSURE] Attempting to reindent
>         code results in error
> Message-ID: <86il65xqtm.fsf@stephe-leake.org>
> Content-Type: text/plain
>
> Left Right <olegsivokon@gmail.com> writes:
>
> > Re sal-gen_definite_doubly_linked_lists.adb and the error:
> >
> > CONSTRAINT_ERROR : sal-gen_definite_doubly_linked_lists.adb:167 access
> > check failed
> >
> > I've rebuilt ada-mode, gpr-mode, gpr-query and now I have wisitoken
> > 4.2.1.
>
> With what gnat version?
>
> > The error is still there. :(
>
> Look in the buffer "*Ada-wisi-parser-log*"; it should have a full stack
> trace for this error; post that.
>
> --
> -- Stephe
>
>
>
> ------------------------------
>
> Message: 3
> Date: Tue, 14 Nov 2023 09:52:43 +0000
> From: Simon Wright <simon.j.wright@mac.com>
> To: Stephen Leake <stephen_leake@stephe-leake.org>
> Cc: Left Right <olegsivokon@gmail.com>, ada-mode-users@nongnu.org
> Subject: Re: [SPAM UNSURE] [SPAM UNSURE] Attempting to reindent code
>         results in error
> Message-ID: <4E685446-E65B-4410-B29A-33E54672740B@mac.com>
> Content-Type: text/plain;       charset=us-ascii
>
> On 13 Nov 2023, at 21:53, Stephen Leake <stephen_leake@stephe-leake.org> 
> wrote:
> >
> > Left Right <olegsivokon@gmail.com> writes:
> >
> >> Re sal-gen_definite_doubly_linked_lists.adb and the error:
> >>
> >> CONSTRAINT_ERROR : sal-gen_definite_doubly_linked_lists.adb:167 access
> >> check failed
> >>
> >> I've rebuilt ada-mode, gpr-mode, gpr-query and now I have wisitoken
> >> 4.2.1.
> >
> > With what gnat version?
>
> Just rebuilt 8.1.0 with GCC 13.1.0 (aarch64-apple-darwin), got this error
>
> >> The error is still there. :(
> >
> > Look in the buffer "*Ada-wisi-parser-log*"; it should have a full stack
> > trace for this error; post that.
>
> Not seeing a stack trace. I get
>
> CONSTRAINT_ERROR : sal-gen_definite_doubly_linked_lists.adb:167 access check 
> failed
>
> and, after several of them, a couple of
>
> CONSTRAINT_ERROR : wisitoken-syntax_trees.adb:1134 invalid data
>
>
> ------------------------------
>
> Message: 4
> Date: Tue, 14 Nov 2023 11:18:27 +0000
> From: Simon Wright <simon.j.wright@mac.com>
> To: Stephen Leake <stephen_leake@stephe-leake.org>
> Cc: Left Right <olegsivokon@gmail.com>, ada-mode-users@nongnu.org
> Subject: Re: [SPAM UNSURE] [SPAM UNSURE] Attempting to reindent code
>         results in error
> Message-ID: <E23CC4B2-2B71-4BFB-9DDB-76A5B0BFA1E3@mac.com>
> Content-Type: text/plain; charset="utf-8"
>
> On 14 Nov 2023, at 09:52, Simon Wright <simon.j.wright@mac.com> wrote:
> >
> > Just rebuilt 8.1.0 with GCC 13.1.0 (aarch64-apple-darwin), got this error
>
> but I had no problems with GCC 14.0.0 20231008 (experimental)
>
> (not that that helps a lot, of course. Would 13.2 be better? or 12?)
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: 
> <https://lists.nongnu.org/archive/html/ada-mode-users/attachments/20231114/9bf3cda2/attachment.htm>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Ada-mode-users mailing list
> Ada-mode-users@nongnu.org
> https://lists.nongnu.org/mailman/listinfo/ada-mode-users
>
>
> ------------------------------
>
> End of Ada-mode-users Digest, Vol 64, Issue 4
> *********************************************