Здравствуйте, Константин Л., Вы писали:
КЛ>Допустим есть макрос, который должен принимать int:
Можно поподробнее, это должна быть константа времени компиляции или просто при несовпадении типа с int надо получить ошибку?
КЛ>Ведь инфа о реальном типе ноды аст (если там просто переменная) должна быть доступна уже на этапе компиляции?
Вообще говоря нет, пока разворачиваются макросы типизация в процессе.
Если действительно жизненно необходимо получить тип, то можно посмотреть в macros/core.n реализацию макроса lock или foreach.