diff --git a/flap/src/hopix/hopixParser.mly b/flap/src/hopix/hopixParser.mly index 0b59258..00380b9 100644 --- a/flap/src/hopix/hopixParser.mly +++ b/flap/src/hopix/hopixParser.mly @@ -235,10 +235,6 @@ simple_ty: INFERIOR liste_ty=separated_nonempty_list(COMMA, located(ty)) SUPERIOR { TyCon(tc, liste_ty) } - | tc=type_constructor - INFERIOR SUPERIOR { - TyCon(tc, []) - } /* Variables de type */ | type_var=type_variable {