Call dispatcher #26

HEL · 2026-07-01T12:22:05Z

HEL commented

2026-07-01 12:22:05 +00:00

This PR refactors parts of the Midas and Python typers handling function calls, overload matching, argument matchin, etc. into a dedicate CallDispatcher class. This class is generic on the AST expression type so that it can be used for both Midas and Python AST expressions.
Some parts, such as function unwrapping, have been improved too.

Other small features including parsing of binary operations (plus and minus) in Midas definitions, definition of min/max functions in the preamble, and improvements to the evaluation of constraints on literals (e.g. list / dict items, unary operations, error handling)

This PR refactors parts of the Midas and Python typers handling function calls, overload matching, argument matchin, etc. into a dedicate `CallDispatcher` class. This class is generic on the AST expression type so that it can be used for both Midas and Python AST expressions. Some parts, such as function unwrapping, have been improved too. Other small features including parsing of binary operations (plus and minus) in Midas definitions, definition of `min`/`max` functions in the preamble, and improvements to the evaluation of constraints on literals (e.g. list / dict items, unary operations, error handling)

HEL self-assigned this 2026-07-01 12:22:05 +00:00

HEL added 12 commits 2026-07-01 12:22:05 +00:00

refactor: extract function call methods to CallDispatcher 77aadfa264

refactor: use CallDispatcher in Midas typer 6e717a3f9e

refactor: reuse CallDispatcher 9a276c34c7

feat(checker): improve function unwrapping 6ad2ce4b68

feat(checker): evaluate unary op on literals 14007db846

feat(checker): evaluate literal cast to list/dict 8fc5ab623e

feat(checker): catch errors when evaluating constraint a017a8cf1f

feat(parser): parse binary operations in Midas 1ea5da7024

feat(checker): handle calls to AppliedType a4016b55ce

feat(checker): define min/max in preamble e2abc04fe4