This commit is contained in:
Mylloon 2023-10-24 14:40:17 +02:00
parent 9566754c75
commit da98682682
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -235,10 +235,6 @@ simple_ty:
INFERIOR liste_ty=separated_nonempty_list(COMMA, located(ty)) SUPERIOR { INFERIOR liste_ty=separated_nonempty_list(COMMA, located(ty)) SUPERIOR {
TyCon(tc, liste_ty) TyCon(tc, liste_ty)
} }
| tc=type_constructor
INFERIOR SUPERIOR {
TyCon(tc, [])
}
/* Variables de type */ /* Variables de type */
| type_var=type_variable { | type_var=type_variable {