ne pas stocker l'apostrophe des variables de type dans l'AST #37
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?
Dans #28 on propose d'écrire
let f (x : a) = x
au lieu delet f (x : 'a) = x
, mais c'est un changement difficile/invasif. En attendant on pourrait déjà retirer les apostrophes de l'AST, au lieu deAbs("x", TVar "'a", Var "x")
on pourrait avoirAbs("x", TVar "a", Var "x")
.(Quand j'écris des tests je me fais souvent avoir et j'ai une erreur dans le test de printing-parsing.)