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

Locate errors #28

Merged
merged 5 commits into from Nov 18, 2021
Merged

Locate errors #28

merged 5 commits into from Nov 18, 2021

Conversation

timothee-haudebourg
Copy link
Owner

@timothee-haudebourg timothee-haudebourg commented Nov 11, 2021 •
edited

@timothee-haudebourg timothee-haudebourg changed the title Meta errors Locate errors Nov 11, 2021
@timothee-haudebourg
Copy link
Owner Author

Possible improvements:

  • Locate compaction errors.
  • Locate scoped context expansion errors. For now a generic error is raised, located on the scope entrance, without details about the expansion error itself.

@timothee-haudebourg timothee-haudebourg marked this pull request as ready for review November 18, 2021 15:06
@timothee-haudebourg timothee-haudebourg merged commit 348a68b into master Nov 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@timothee-haudebourg