Simplified error handling when calling Kind 2 #15

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

Closed

Jabe03 wants to merge 1 commit into kind2-mc:main from Jabe03:parsing-exception-fix

Contributor

Jabe03 commented Nov 7, 2025

Changed:

Parsing exceptions are now handled within initialize
This causes other types of exceptions to also be handled within initialize
Does not change API behavior, just simplifies the logic when calling Kind 2

Fixed:

Parse errors being thrown as exceptions fixed to now return Result object to the caller containing the parse error info


          Parsing errors now are handled within initialize. Simplifed error han…

b55caf5

…dling when calling Kind 2

Jabe03 closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet