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

Error on failing property constraints. #79

Closed
AZWN opened this issue Oct 22, 2021 · 2 comments
Closed

Error on failing property constraints. #79

AZWN opened this issue Oct 22, 2021 · 2 comments
Assignees
@AZWN
Labels
Comp-Solver Pri-Medium State-Solved Type-Bug

Comments

@AZWN
Copy link
Contributor

AZWN commented Oct 22, 2021

Bug description
Assigning properties to terms without an index still creates error messages when a parent constraint has a message set.

Versions
Spoofax version: 2.5.16

Steps to reproduce the behavior
See this Mattermost Thread.

Observed behavior
Error messages created.

Expected behavior
No message created.

Additional context
Detailed explanation in this Mattermost Thread. Originally reported metaborg/spoofax-pie#86.
@AZWN AZWN self-assigned this Oct 22, 2021
@AZWN AZWN mentioned this issue Oct 22, 2021
Open
@AZWN AZWN mentioned this issue Feb 15, 2023
Closed
@AZWN
Copy link
Contributor Author

AZWN commented Apr 20, 2023

Confirmed by: https://slde.slack.com/archives/C7254SF60/p1681989060732299

@AZWN
Copy link
Contributor Author

AZWN commented May 3, 2023

Fixed by 4d06d2c

@AZWN AZWN closed this as completed May 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AZWN AZWN

Labels
Comp-Solver Pri-Medium State-Solved Type-Bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@AZWN