構文オブジェクトを採用すると、 KFFD のようにマクロ変換子が新しく挿入したシンボルを自動認識させることができるようになりました。 前回の例は、 マクロは大域だけで局所マクロを使わなかったので、 構文オブジェクトを使って展開対称式をマークしておく…

健全なマクロ展開 - 構文オブジェクト (その2)