midas

HEL/midas

Author	SHA1	Message	Date
HEL	2886ffe00b	feat(checker): add slice overloads on lists	2026-06-14 17:04:29 +02:00
HEL	def38e720b	fix(checker): handle generic overloads	2026-06-14 17:04:10 +02:00
HEL	49274be2f4	feat(checker): type check slice expressions	2026-06-14 16:58:20 +02:00
HEL	aec6b7aa7b	feat(parser): add slice expression	2026-06-14 16:53:38 +02:00
HEL	530d93723e	tests: update with new subscript and call checks invalid function calls now return UnknownType even if the function has a return type	2026-06-14 16:45:53 +02:00
HEL	905132a18e	feat(checker): resolve overloads with subtypes try to find the most specific overload if multiple matches are found	2026-06-14 16:36:10 +02:00
HEL	9594c74952	doc(checker): add docstrings to new call checks	2026-06-14 16:08:34 +02:00
HEL	8df5607461	refactor(checker): unify call check for subscript	2026-06-14 16:08:13 +02:00
HEL	757054d7af	chore: add examples for functions and overloads	2026-06-14 15:50:20 +02:00
HEL	25a96d20e1	feat(checker): handle overloaded function calls	2026-06-14 15:48:31 +02:00
HEL	04c0d683de	fix(types): remove unused operation structures	2026-06-13 18:57:02 +02:00
HEL	ac620f318b	feat(checker): type check subscripts	2026-06-13 18:48:53 +02:00
HEL	947e9f0149	feat(parser): add subscript expressions	2026-06-13 18:44:19 +02:00
HEL	c1ca254b51	feat(checker): handle unary operations	2026-06-13 18:19:50 +02:00
HEL	0bb862a1db	fix(checker): report unsupported features	2026-06-13 18:11:14 +02:00
HEL	54919a3565	tests: update with newly reported judgements	2026-06-13 18:01:32 +02:00
HEL	a5f0140013	refactor(checker): replace all accept calls make visitor accept calls more explicit with type_of(), resolve_type_expr() and process_stmt()	2026-06-13 18:01:02 +02:00
HEL	b0af01d906	tests: update tests	2026-06-13 17:46:15 +02:00
HEL	6048ee020f	fix(checker): adapt comparison to lookup method	2026-06-13 17:44:40 +02:00
HEL	f815faa2f8	fix(checker): remove in.to_bytes	2026-06-13 14:00:50 +02:00
HEL	f7d5d36d44	fix(checker): handle members on base type	2026-06-13 14:00:23 +02:00
HEL	503f2b6a0a	fix: remove unused op statement	2026-06-13 13:49:57 +02:00
HEL	778117664f	fix(checker): forward parsing errors as diagnostics	2026-06-13 13:44:05 +02:00
HEL	afe3eefbbf	fix(checker): gravefully handle unknown type	2026-06-13 13:43:33 +02:00
HEL	96495e9f79	fix(parser): make name required for mixed and keyword args	2026-06-13 13:43:16 +02:00
HEL	77263139f6	feat(parser): add mixed arguments in midas functions	2026-06-13 13:16:57 +02:00
HEL	4f5967a151	feat(checker): add top type (Any)	2026-06-13 12:45:40 +02:00
HEL	2a714a1021	fix: extend example of complex types	2026-06-13 12:40:26 +02:00
HEL	dafe0b471a	feat(checker): define members on builtin types	2026-06-13 12:39:46 +02:00
HEL	a1f2937e16	feat(tests): update serializer	2026-06-12 17:01:19 +02:00
HEL	2063d94dce	fix(checker): give warning on unknown variable	2026-06-12 17:01:02 +02:00
HEL	22fc8010d8	fix(checker): minor fix when using base type in generic	2026-06-12 16:56:03 +02:00
HEL	aff1097d91	fix(checker): update binary operation lookup	2026-06-12 16:55:01 +02:00
HEL	12d034fd1e	fix(checker): handle nested generic members	2026-06-12 16:53:34 +02:00
HEL	200709cca6	feat(checker): implement lookup_member method	2026-06-12 16:52:09 +02:00
HEL	700284296c	feat(checker): add members registry	2026-06-12 16:45:42 +02:00
HEL	0b53259b90	fix(cli): update highlighter	2026-06-12 16:42:25 +02:00
HEL	0461a4184c	feat(parser): accept props and methods in extend	2026-06-12 16:41:33 +02:00
HEL	01d6e41893	feat(cli): add option to show type judgements	2026-06-12 14:44:02 +02:00
HEL	80e611e49c	fix(cli): show diagnostics from different files	2026-06-12 14:43:27 +02:00
HEL	c00915966f	fix(checker): improve error for recursive type ref	2026-06-11 17:15:28 +02:00
HEL	beaa4d95d8	feat(checker): adapt typers to members and extension type	2026-06-11 17:13:13 +02:00
HEL	bfa0bb3ee0	feat(parser): add new ast nodes to parser	2026-06-11 13:49:47 +02:00
HEL	31158df2a9	feat(parser): add extension type and rename properties	2026-06-11 13:42:19 +02:00
HEL	c6ead886ec	feat: add function type to midas syntax	2026-06-09 23:48:06 +02:00
HEL	9de03bf2b5	feat(types): add type params to extend statement	2026-06-09 23:40:57 +02:00
HEL	a26b9293be	refactor(types): extract TypeParams also rename generic type params to type args (when calling a generic)	2026-06-09 15:30:45 +02:00
HEL	efa5454776	feat(types): add human-friendly string rep add `__str__` methods on type structures to improve readability of diagnostics	2026-06-09 12:59:36 +02:00
HEL	b8bb8190c4	fix(resolver): define variable on assignment if a variable is not already defined when an assignment is visited, it is then defined in the current scope	2026-06-09 08:06:46 +02:00
HEL	a4f5db7ece	fix(checker): use reduce_types to infer return type	2026-06-09 08:05:31 +02:00
HEL	fc67f01f34	refactor(checker): extract reduce_types function	2026-06-09 08:04:45 +02:00
HEL	0a748a36a3	feat(types): WIP add AppliedType	2026-06-08 18:26:11 +02:00
HEL	89fdd1b47e	feat(checker): WIP add lists	2026-06-08 18:25:37 +02:00
HEL	0cde53ac6e	feat(types): add name to generic type	2026-06-08 18:21:40 +02:00
HEL	f3ec3606c2	fix: avoid circular import in builtins.py	2026-06-08 13:48:46 +02:00
HEL	67ec029529	refactor(resolver): move resolver to checker module	2026-06-08 13:45:48 +02:00
HEL	e2aef7a811	refactor(checker): unify builtins definitions	2026-06-08 13:44:26 +02:00
HEL	86ba4e658a	refactor(checker): restructure around shared registry restructure the type checker with a shared TypesRegistry used by MidasTyper and PythonTyper this commit also relocates some methods in more appropriate places, such as is_subtype and apply_generic (now in TypesRegistry)	2026-06-08 13:41:42 +02:00
HEL	7eccf59558	feat(checker): add reporter class	2026-06-08 13:38:35 +02:00
HEL	9dd7801d2d	feat(resolver): handle generic application	2026-06-08 10:59:01 +02:00
HEL	154cb8b314	refactor(checker): move is_subtype to resolver	2026-06-08 10:57:50 +02:00
HEL	c64ab434b5	refactor(checker): move unfold_type to types.py	2026-06-08 10:56:27 +02:00
HEL	25e6410546	feat(resolver): handle generics definition	2026-06-08 10:55:15 +02:00
HEL	8a22acc17c	feat(checker): add generic type structure	2026-06-08 10:52:34 +02:00

Compare commits

Diff Content Not Available