how to enable External_Initialization, finally, no_raise etc ?
Open
Nobody has claimed this yet.
- Dominant language
- Ada
- Stars
- 531
- Forks
- 65
- PR merge metrics
- No merged PRs in 30d
Description
I have -gnatX0 and the corresponding pragma and gnat_native_14.2.1_06bb3def`, but all I can use from experimental extensions are the conditional return statements. Experimental aspects are not recognized ("Adjust" is not a valid aspect identifier [enabled by default]).
pragma Extensions_allowed (All);
package main2 is
S: constant String with External_Initialization => "essai.txt";
end main2;
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the issue with -gnatX0, pragma Extensions_allowed (All), and the shown External_Initialization example using gnat_native_14.2.1_06bb3def. Check why conditional return statements work while the Adjust aspect is rejected, and document the required configuration or confirm the limitation.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100