Re: Gnu Emacs Ada mode 8.1.0 released.

[Manuel Gómez]

El 28/10/23 a las 15:19, Simon Wright escribió:
> On 27 Oct 2023, at 22:10, Manuel Gómez <mgrojo@gmail.com> wrote:
> > warn:    New solution is incomplete.
> > warn:    +❗ emacs_wisi          ~4.3.0 (new,missing:skipped)
>
> I think you may need to "alr index —update-all"

Not the problem in this case, it's "already up to date".

I think the problem is that "emacs_gpr_mode=1.0.4" requires both 
"emacs_wisi~4.3.0" and "wisitoken~4.1.0", but any of the "emacs_wisi" in 
4.3.x requires either "wisitoken~4.2.0" or "wisitoken~4.2.1". The 
requirements on emacs_wisi and wisitoken cannot be satisfied at the same 
time.

With this patch it built fine:

--- alire.toml~ 2023-10-28 17:31:26.480065477 +0200
+++ alire.toml  2023-10-28 17:33:03.112004687 +0200
@@ -40,5 +40,5 @@
 gnat = "(>=11 & <2000) | >=2021"
 re2c = ">=2.2"
 stephes_ada_library = "~3.7.3"
-wisitoken = "~4.1.0"
+wisitoken = "~4.2.0"


It seems to work too, although I got one Constraint_Error, and now I 
wonder if it's related to my dependency change. Just in any case it's 
unrelated, the steps to reproduce it are:

~/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4$ alr edit
Editing crate with: ['emacs' 
'--eval=(ada-build-prompt-select-prj-file"emacs_gpr_mode.gpr")', 
'emacs_gpr_mode.gpr']

Inside Emacs:
C-x C-f gpr_process_actions.ads
C-s WisiToken.Descriptor
C-c C-d

It goes to WisiToken.Descriptor but then I get this error:

error in process filter: error: CONSTRAINT_ERROR : 
sal-gen_definite_doubly_linked_lists.adb:167 access check failed

Also, running M-x ada-find-file gives this error:

cl-no-applicable-method: No applicable method: project-roots, #s(ada-prj 
"emacs_gpr_mode" nil 
("GPR_PROJECT_PATH=/home/mgr/.cache/alire/builds/emacs_wisi_4.3.2_467a029c_a28161ff1b3a854d0b857f2d3f3b1324583d862efb38e50e700a9d2978390d82/:/home/mgr/.cache/alire/builds/gnatcoll_22.0.0_620c2f23_2ebbec0dabe1cb180559718e8925a08139e96afc1e01c8b80c40145990161b77/:/home/mgr/.cache/alire/builds/libgpr_22.0.0_30e39dcc_518df3e5178a01b22a185a95ccde1a787195f1f05f03a2944bda3b1f32b56803/gpr/:/home/mgr/.cache/alire/builds/stephes_ada_library_3.7.3_08b48307_967e52a738f9fc76f9e0946fd30a3a6f428d7be08edbe276fae02af1dc0b0070/build/:/home/mgr/.cache/alire/builds/wisitoken_4.2.1_dc778486_0a252376b3c09fc25da564d844a4e70ec7ad3e6803c5833bf8e64376916b4a1c/build/:/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/distrib/:/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/dom/:/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/input_sources/:/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/sax/:/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/schema/:/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/unicode/:/home/mgr/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4/:/home/mgr/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4") 
#s(gnat-compiler 
"/home/mgr/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4/emacs_gpr_mode.gpr" 
" 
*gnat-run-/home/mgr/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4/emacs_gpr_mode.gpr*" 
("/home/mgr/.cache/alire/builds/emacs_wisi_4.3.2_467a029c_a28161ff1b3a854d0b857f2d3f3b1324583d862efb38e50e700a9d2978390d82/" 
"/home/mgr/.cache/alire/builds/gnatcoll_22.0.0_620c2f23_2ebbec0dabe1cb180559718e8925a08139e96afc1e01c8b80c40145990161b77/" 
"/home/mgr/.cache/alire/builds/libgpr_22.0.0_30e39dcc_518df3e5178a01b22a185a95ccde1a787195f1f05f03a2944bda3b1f32b56803/gpr/" 
"/home/mgr/.cache/alire/builds/stephes_ada_library_3.7.3_08b48307_967e52a738f9fc76f9e0946fd30a3a6f428d7be08edbe276fae02af1dc0b0070/build/" 
"/home/mgr/.cache/alire/builds/wisitoken_4.2.1_dc778486_0a252376b3c09fc25da564d844a4e70ec7ad3e6803c5833bf8e64376916b4a1c/build/" 
"/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/distrib/" 
"/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/dom/" 
"/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/input_sources/" 
"/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/sax/" 
"/home/mgr/.cache/alire/builds/xmlada_22.0.0_b322ae27_199bb52da8443cf07310285e153a779d17529bd2d24e26c6867c4c2b7d973854/schema/" 
...) nil nil nil nil) #s(gpr-query-xref 
"/home/mgr/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4/emacs_gpr_mode.gpr" 
nil nil nil nil nil nil) nil nil nil 
("/home/mgr/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4" 
"/home/mgr/.emacs.d/elpa/gpr-mode-1.0.4/emacs_gpr_mode_1.0.4_6bc569c4/config" 
"/home/mgr/.cache/alire/builds/stephes_ada_library_3.7.3_08b48307_967e52a738f9fc76f9e0946fd30a3a6f428d7be08edbe276fae02af1dc0b0070/source" 
"/home/mgr/.cache/alire/builds/stephes_ada_library_3.7.3_08b48307_967e52a738f9fc76f9e0946fd30a3a6f428d7be08edbe276fae02af1dc0b0070/src_x86_gnat" 
"/home/mgr/.cache/alire/builds/emacs_wisi_4.3.2_467a029c_a28161ff1b3a854d0b857f2d3f3b1324583d862efb38e50e700a9d2978390d82" 
"/home/mgr/.cache/alire/builds/emacs_wisi_4.3.2_467a029c_a28161ff1b3a854d0b857f2d3f3b1324583d862efb38e50e700a9d2978390d82/config" 
"/home/mgr/.cache/alire/builds/wisitoken_4.2.1_dc778486_0a252376b3c09fc25da564d844a4e70ec7ad3e6803c5833bf8e64376916b4a1c" 
"/home/mgr/.cache/alire/builds/wisitoken_4.2.1_dc778486_0a252376b3c09fc25da564d844a4e70ec7ad3e6803c5833bf8e64376916b4a1c/config" 
"/home/mgr/.cache/alire/builds/wisitoken_4.2.1_dc778486_0a252376b3c09fc25da564d844a4e70ec7ad3e6803c5833bf8e64376916b4a1c/memory" 
"/home/mgr/.cache/alire/builds/gnatcoll_22.0.0_620c2f23_2ebbec0dabe1cb180559718e8925a08139e96afc1e01c8b80c40145990161b77/src" 
...) ...)