More efficient typechecking of System F pattern-matching
- Feb 02, 2023
-
-
SCHERER Gabriel authored
# Conflicts: # client/test/TestF.ml
2ab5a617
-
- Feb 01, 2023
-
-
MARTINOT Olivier authored1083149b
-
MARTINOT Olivier authored2025ded1
-
La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Mise à jour GitLab terminée. Nous sommes désormais en version 17.7.0 : https://about.gitlab.com/releases/2024/12/19/gitlab-17-7-released/
To type-check a branch of a pattern-matching, we created a new environment to bind newly introduced pattern variables, and then concatenated this environment with the surrounding environment. But this is inefficient and we can instead directly extend the surrounding environment with the new bindings.
# Conflicts: # client/test/TestF.ml