Salut,

Je déboguais un petit problème de macro et j'ai fait un truc pour imprimer quel macro est étendu (??), quels sont ses arguments et quel est le résultat. Je me suis dit que ça pourrait être utile pour plus tard alors je l'ai mis dans une patch.

https://gitlab.com/monnier/typer/-/commit/29c8adedee2eef35b4fcc775d871bb9f54...

Vous pouvez le tester avec

dune exec ./typer.exe -- -v -v -Vmacro-expansion ./samples/nat.typer

Simon