Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Validation error: Illegal indexed access #16

Closed
lars-reimann opened this issue Jan 19, 2022 · 1 comment · Fixed by #796
Closed

Validation error: Illegal indexed access #16

lars-reimann opened this issue Jan 19, 2022 · 1 comment · Fixed by #796
Assignees
@lars-reimann
Labels
dsl 🗒️ Issues regarding the domain specific programming language released Included in a release validation ✔️ Improved or new static checks
Milestone
v0.5.0

Comments

@lars-reimann
Copy link
Member

lars-reimann commented Jan 19, 2022 •
edited
Loading

If receiver and index of an indexed access evaluate to some value known to the compiler, verify that the indexed access will succeed.
@lars-reimann lars-reimann self-assigned this Jan 31, 2022
@lars-reimann lars-reimann transferred this issue from another repository Jun 7, 2022
@lars-reimann lars-reimann removed their assignment Nov 9, 2022
@lars-reimann lars-reimann removed the status in Safe-DS Nov 9, 2022
@lars-reimann lars-reimann removed this from Safe-DS Nov 9, 2022
@lars-reimann lars-reimann added the dsl 🗒️ Issues regarding the domain specific programming language label Feb 7, 2023
@lars-reimann lars-reimann moved this to Backlog in DSL Mar 7, 2023
@lars-reimann lars-reimann added this to DSL Mar 7, 2023
@lars-reimann lars-reimann changed the title Add missing features for indexed access Semantic error: Illegal indexed access Nov 23, 2023
@lars-reimann lars-reimann added the validation ✔️ Improved or new static checks label Nov 23, 2023
@lars-reimann lars-reimann changed the title Semantic error: Illegal indexed access Validation error: Illegal indexed access Nov 23, 2023
@lars-reimann lars-reimann self-assigned this Nov 24, 2023
@lars-reimann lars-reimann moved this from Backlog to In Progress in DSL Nov 24, 2023
@lars-reimann lars-reimann mentioned this issue Nov 24, 2023
Merged
@lars-reimann lars-reimann linked a pull request Nov 24, 2023 that will close this issue
feat: error if index of indexed access is invalid #796
Merged
@github-project-automation github-project-automation bot moved this from In Progress to ✔️ Done in DSL Nov 24, 2023
lars-reimann added a commit that referenced this issue Nov 24, 2023
@lars-reimann
feat: error if index of indexed access is invalid (#796)
5017759 
Closes #16

### Summary of Changes

* Show an error if we know that a map key does not exist.
* Show an error if we know that a list index is out of bounds.
@lars-reimann lars-reimann modified the milestones: v0.5.0, v0.6.0 Nov 24, 2023
lars-reimann pushed a commit that referenced this issue Nov 25, 2023
@semantic-release-bot
chore(release): 0.5.0 [skip ci]
628f9d0 
## [0.5.0](v0.4.0...v0.5.0) (2023-11-25)

### Features

* error if index of indexed access is invalid ([#796](#796)) ([5017759](5017759)), closes [#16](#16)
* full implementation of partial evaluator ([#798](#798)) ([7643794](7643794)), closes [#603](#603)
* settings to hide selected warnings/infos ([#795](#795)) ([ff7c23a](ff7c23a)), closes [#35](#35)

### Bug Fixes

* handling of default values in entry point of call graph computation ([#797](#797)) ([a5db23c](a5db23c))
@lars-reimann
Copy link
Member Author

🎉 This issue has been resolved in version 0.5.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@lars-reimann lars-reimann added the released Included in a release label Nov 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lars-reimann lars-reimann

Labels
dsl 🗒️ Issues regarding the domain specific programming language released Included in a release validation ✔️ Improved or new static checks
Projects
DSL
Archived in project
Milestone
v0.5.0
Development

Successfully merging a pull request may close this issue.

feat: error if index of indexed access is invalid Safe-DS/DSL
1 participant
@lars-reimann