Moins d'environnements dans le solveur, plus d'environnements dans hastype #25

Open
opened 2021-04-21 16:43:30 +02:00 by gasche · 1 comment
Collaborator

Essayer de virer la contrainte def et d'avoir à la place un mapping dans hastype des variables de termes vers les types monomorphes ou les schémas de type. Note: la contrainte let ne prend plus forcément une variable de terme, mais un "nom de schéma polymorphe", qu'on doit lui repasser dans la contrainte instantiate.

Essayer de virer la contrainte `def` et d'avoir à la place un mapping dans `hastype` des variables de termes vers les types monomorphes ou les schémas de type. Note: la contrainte `let` ne prend plus forcément une variable de terme, mais un "nom de schéma polymorphe", qu'on doit lui repasser dans la contrainte `instantiate`.
Author
Collaborator

J'ai soumis une "Draft MR" pour implémenter ça:
https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/36

J'ai soumis une "Draft MR" pour implémenter ça: https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/36
Sign in to join this conversation.
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#25
No description provided.