System F polymorphism#28

Open

Marwoops wants to merge 9 commits intoSimonJF:mainfrom

Commits on Jun 10, 2025

added parametrized interfaces. Now interfaces are parametrized over a set of variables, which need to be valued at some point. Examples are provided
Marwoops
committed

Commits on Jun 11, 2025

Commits on Jun 12, 2025

Added error handling for substitutions and generalized check_guard for parametrized interfaces
Marwoops
committed

Commits on Jun 13, 2025

Changed syntax of parametrized interfaces to avoid shift/reduce conflict. Updated examples according to the new syntax
Marwoops
committed

Commits on Jun 16, 2025

check that interface / definitions are type closed, and that parameters are only made of typing variables
Marwoops
committed

Commits on Jun 24, 2025