HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

Avoid raising exceptions, report diagnostics instead #42

Merged
HEL merged 7 commits from fix/remove-raises into main 2026-07-10 09:35:02 +00:00
Conversation 0 Commits 7 Files Changed 5 +77 -32
HEL commented 2026-07-10 09:33:56 +00:00
Owner
Copy Link

This small PR adds some error handling to avoid raising a raw exception to the user but report an error diagnostic instead

This small PR adds some error handling to avoid raising a raw exception to the user but report an error diagnostic instead
HEL self-assigned this 2026-07-10 09:33:56 +00:00
HEL added 7 commits 2026-07-10 09:33:56 +00:00
fix(checker): catch UndefinedMethodException where needed 00fdda5034
fix(checker): handle returns outside functions e61c4070da
fix(checker): handle subscript and error in typevar bound 244e5f351a
fix(checker): handle already defined types 3ede752cae
fix(checker): handle already defined predicates 4866ab2090
fix(checker): better handle invalid generic instantiation 90e9d167bf
fix(checker): remove redundant match case
All checks were successful
Tests / tests (pull_request) Successful in 6s
Details
720a82c221
HEL merged commit 12c5309cff into main 2026-07-10 09:35:02 +00:00
HEL deleted branch fix/remove-raises 2026-07-10 09:35:02 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
HEL
No Assignees HEL
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: HEL/midas#42
Delete Branch "fix/remove-raises"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?