Здравствуйте, VladD2.

Не знаю как планируеться делать розшыряемость в точках росшырения. Не все обсуждения на этом форуме читал.

Но вот мое предположение:

Не ограничиваться чисто макроссами. А сделать какойто-то тип элемента АСТ ктоторые будет служыть для росшырения

напр:

PExpr
{
Assign(left : PExpt, righr :PExpr);
//.....
Custom(custType : Tag, customData : object);

}

и потом в методах которые разбирают АСТ в случае обнаружения типа Custom вызвать обработчик в зависимости от тега ( а сами обработчики добавляются в систему во время подгрузи макро-сборки)

Таким образом макрос нижнего уровня не будет делать всю работу, а просто создаст кастомный тип элемента АСТ а потом на этапе типизации и возможно даже кодо-генерации будет вызван нужный обработчик. Без необходимости пилять напильником сам компилятор.