AdaCore / AdaCore/ada-spark-rfcs
[feature] Adjust_Indexing aspect
Open
A pull request for this has already been merged.
- #64 by @Blady-Com — merged
enhancement
RFC
STAT::proposed
syntax
- Dominant language
- No language data
- Stars
- 70
- Forks
- 31
- Avg merge
- 4d 13h
- Merged PRs (30d)
- 4
Description
Summary
Ada standard gives the possibility of User-Defined Indexing (§4.1.6).
In this proposal, Adjust_Indexing new aspect adds the possibility of a deferred
post-traitement after a container indexing assignment.
Motivation
See the RFC text
Caveats and alternatives
It may have a delay between value copy and the call of the adjust procedure.
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
Start by locating the RFC text referenced under Motivation and reviewing merged pull request #64. Use those materials to determine the intended semantics, scope, and acceptance criteria for the Adjust_Indexing aspect; the issue alone does not identify implementation files or tests.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100