16 Fév
2022
16 Fév
'22
19:20
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