HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 3 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
7 Commits
Author SHA1 Message Date
HEL 720a82c221 fix(checker): remove redundant match case
Tests / tests (pull_request) Successful in 6s
Details
2026-07-10 11:30:10 +02:00
HEL 90e9d167bf fix(checker): better handle invalid generic instantiation 2026-07-10 11:23:29 +02:00
HEL 4866ab2090 fix(checker): handle already defined predicates 2026-07-10 11:20:39 +02:00
HEL 3ede752cae fix(checker): handle already defined types 2026-07-10 11:19:06 +02:00
HEL 244e5f351a fix(checker): handle subscript and error in typevar bound 2026-07-10 11:13:32 +02:00
HEL e61c4070da fix(checker): handle returns outside functions 2026-07-10 11:04:49 +02:00
HEL 00fdda5034 fix(checker): catch UndefinedMethodException where needed 2026-07-10 11:00:23 +02:00