Skip to content

Conversation

@rcosta358
Copy link
Collaborator

This PR simplifies the error handling in the verifier for better clarity and also aids the use of the diagnostic classes in the extension.

These changes include:

  • Reusing the same logic for throwing errors in VCChecker, which was being handled in two different ways
  • Using SourcePosition directly instead of CtElement
  • Replacing details field with getDetails method in LJDiagnostic which each diagnostic class can override to show extra error info
  • Remove GhostInvocationError and use CustomError instead

@rcosta358 rcosta358 merged commit 08af804 into main Nov 20, 2025
1 check passed
@rcosta358 rcosta358 deleted the error-updates branch December 4, 2025 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants