Skip to content

fix unneeded ambiguity, and then fix error handling#60

Merged
cscheid merged 1 commit into
mainfrom
bugfix/fix-error-handling
Oct 16, 2025
Merged

fix unneeded ambiguity, and then fix error handling#60
cscheid merged 1 commit into
mainfrom
bugfix/fix-error-handling

Conversation

@cscheid

@cscheid cscheid commented Oct 16, 2025

Copy link
Copy Markdown
Member

This revives the good error message construction, by fixing the way we identify errors from the tree-sitter trace.

@cscheid cscheid merged commit ede5980 into main Oct 16, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant