- src/eval.ml: `expand_macro_` is a builtin function
BTW, the "_" final de case_, lambda_, etc... est présent parce que ce sont des opérateurs préfixes, donc dans le code source ils apparaissent comme case/lambda mais dans la sexp un _ est ajouté.
Les fonctions normales que nous définissons ne devraient pas avoir de "_" à la fin, parce que ce ne sont pas des opérateurs préfixes. Plus précisément, on a pas défini la grammaire de manière à pouvoir écrire
expand_macro a b
pour dire (expand_macro_ (a b)).
Stefan
+expand_macro_ = Built-in "expand_macro_" (Macro -> List Sexp -> Sexp);
Qu'est-ce qu'il manque pour pouvoir l'écrire en Typer?
Stefan