Re: [Typer] Macro et Decls

% Marche correctement
f : Int -> Int;
f a -> a + 2;

% Ne marche pas, 'Error PEXP: Unknown argument format' (pexp.ml ln 286)
f (a : Int) = a + 2;

Est-ce que l'on désire supporter le dernier cas ?

La conversion de sexp à pexp devrait fonctionner, oui. Par contre c'est normal que la conversion vers lexp échoue pour l'instant (elle fonctionera quand on aura l'inférence de type).

Stefan