ne pas stocker l'apostrophe des variables de type dans l'AST #37

New Issue

gasche · 2021-06-22T10:12:10+02:00

gasche commented

2021-06-22 10:12:10 +02:00

Dans #28 on propose d'écrire let f (x : a) = x au lieu de let 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 de Abs("x", TVar "'a", Var "x") on pourrait avoir Abs("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.)

Dans #28 on propose d'écrire `let f (x : a) = x` au lieu de `let 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 de `Abs("x", TVar "'a", Var "x")` on pourrait avoir `Abs("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.)

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#37