HEL/midas

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

Author	SHA1	Message	Date
LordBaryhobal	720a82c221	fix(checker): remove redundant match case All checks were successful Tests / tests (pull_request) Successful in 6s Details	2026-07-10 11:30:10 +02:00
LordBaryhobal	90e9d167bf	fix(checker): better handle invalid generic instantiation	2026-07-10 11:23:29 +02:00
LordBaryhobal	4866ab2090	fix(checker): handle already defined predicates	2026-07-10 11:20:39 +02:00
LordBaryhobal	3ede752cae	fix(checker): handle already defined types	2026-07-10 11:19:06 +02:00
LordBaryhobal	244e5f351a	fix(checker): handle subscript and error in typevar bound	2026-07-10 11:13:32 +02:00
LordBaryhobal	e61c4070da	fix(checker): handle returns outside functions	2026-07-10 11:04:49 +02:00
LordBaryhobal	00fdda5034	fix(checker): catch UndefinedMethodException where needed	2026-07-10 11:00:23 +02:00