Возникли вопросы, ответов не нашёл

1. Что делает DefineCTX (впечатление, что он объявляет контекст макроса в обычной функции)
2. Что будет, если он вызывается в функции, которая вызывает себя рекурсивно?

Здравствуйте, FDSC, Вы писали:

FDS>Возникли вопросы, ответов не нашёл

FDS>1. Что делает DefineCTX (впечатление, что он объявляет контекст макроса в обычной функции)

Он создает переменную типа Typer: банально кладет туда аргумент — экземпляр типизатора.
Макрос требуется для создания цитат <[ typed: ]>

FDS>2. Что будет, если он вызывается в функции, которая вызывает себя рекурсивно?

Ничего страшного не произойдет.

Здравствуйте, FDSC, Вы писали:

FDS>Возникли вопросы, ответов не нашёл

FDS>1. Что делает DefineCTX (впечатление, что он объявляет контекст макроса в обычной функции)

здесь его код:

  macro DefineCTX(ctx)
  {
    <[ def $(ImplicitCTX().Manager.MacrosRegistry.GetImplicitCTXName() : name) = $ctx ]>
  }

Здравствуйте, hardcase, Вы писали:

H>Здравствуйте, FDSC, Вы писали:

FDS>>Возникли вопросы, ответов не нашёл

FDS>>1. Что делает DefineCTX (впечатление, что он объявляет контекст макроса в обычной функции)

H>Он создает переменную типа Typer: банально кладет туда аргумент — экземпляр типизатора.

Зачем тогда мы передаём typer из макроса, вызвав Macros.ImplicitCTX() ???

Здравствуйте, FDSC, Вы писали:

FDS>Зачем тогда мы передаём typer из макроса, вызвав Macros.ImplicitCTX() ???

Чтобы в функции-обработчике макроса работали цитаты <[ ttype: ... ]>.
ImplicitCTX просто подставляет имя некоторой переменной, в которой лежит типизатор. В случае с телом макроса это не переменная, а параметр, который приезжает в макрос.

Да это все невероятно криво