pasberth/Macra

macroExpand のバグ

Closed this issue · 1 comments

pasberth commented 
#[ m a x : toplevel -> toplevel -> toplevel = a ]
m x w

の展開結果が x ではなく w になってしまう

原因は macroExpand の実装が

まず a を x に置換し、そのあと x を w に置換しているから。

pasberth commented

とりあえず修正 master にマージした