Moins d'environnements dans le solveur, plus d'environnements dans hastype #25
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Essayer de virer la contrainte
def
et d'avoir à la place un mapping danshastype
des variables de termes vers les types monomorphes ou les schémas de type. Note: la contraintelet
ne prend plus forcément une variable de terme, mais un "nom de schéma polymorphe", qu'on doit lui repasser dans la contrainteinstantiate
.J'ai soumis une "Draft MR" pour implémenter ça:
https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/36