Skip to content

Conversation

@pjljvandelaar
Copy link
Collaborator

Libadalang 24 no longer supports F_Name for an Accept_Stmt.

This results in errors like

extraction-bodies_for_entries.adb:27:57: error: no selector "F_Name" for private type "Accept_Stmt" defined at libadalang-analysis.ads:300

Libadalang does support P_corresponding_Entry, hence we don't need to look up the corresponding declaration ourselves via F_Name.

This pull request solves these issues, and makes DGE compatible with libadalang 24.

Since libadalang 23, the Ada_Type_Decl is no longer an enumeration value of Ada_Node_Kind_Type, but an enumeration range thereof:

      subtype Ada_Type_Decl is Ada_Node_Kind_Type
            range Ada_Anonymous_Type_Decl .. Ada_Formal_Type_Decl;

This enumeration range includes the following 4 values:

	Ada_Anonymous_Type_Decl, Ada_Synth_Anonymous_Type_Decl, Ada_Concrete_Type_Decl, and Ada_Formal_Type_Decl
extraction-bodies_for_entries.adb:27:57: error: no selector "F_Name" for private type "Accept_Stmt" defined at libadalang-analysis.ads:300

	Accept_Stmt provides P_Corresponding_Entry, hence we don't need F_Name anymore to find the corresponding refenced declaration ourselves.
@pjljvandelaar pjljvandelaar changed the title Libadalang24 Move to Libadalang24 May 5, 2025
@pjljvandelaar
Copy link
Collaborator Author

Still to do - fix "example" - needs rejuvenation-ada 2024 for that!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants