unless (macro1(x))
{
  macro2();
  macro3();
}

match (macro1(x))
{
  | false => 
    macro2();
    macro3()
  | true => 
    ()
}

// допустим нам нужна макра создающая массив и заполняющая его значениями зависящими от типа элемента.
def x = my_array(5);

when (x[0] == "1") // вот тут по идее компилятор сможет вывести тип из использования
{
 ...
}

macro my_array 
  syntax my_array '(' count : int ')'
{
  // здесь мы должны прервать выполнение макроса и дождаться вывода типов 
  // но парсинг должен продолжаться, поэтому мы, для начала возвращаем заглушку
  def unknownType = Context.MakeUnknownType()
  def knownType = yield <[ array.[$unknownType]($count) ]> and wait Context.GetType(unknownType); 

  // сюда мы попадаем уже после той стадии типизации, которая смогла вывести тип для заглушки
  def defaultValue = GetDefaultExprForType(knownType); // логика получения дефолтного выражения для типа не важна для примера

  <[
    def arr = array($count);
    for (int i = 0; i < arr.Length; i++)
       arr[i] = $defaultValue;
    arr
  ]>  // а вот это уже окончательный вариант работы макроса, генерация кода
}

macro MyArray 
"my_array" "(" count : Expression ")"
type of count int;
type of return array[$knownType]; // Говорим что возвращаемое значение должно быть этого типа
{
  def defaultValue = GetDefaultExprForType(knownType);
  <[
    def arr = array($count);
    for (int i = 0; i < arr.Length; i++)
       arr[i] = $defaultValue;
    arr
  ]>
}

ast provider DataBaseMetadataProvider(connectionString : string) : DataBaseMetadata
load
{//Производит чтение метаданных из базы.
//Возвращает АСТ
}
need update
{//вызывается каждый раз когда компилятор хочет узнать не изменился ли АСТ
//Возвращает true если нужно обновить АСТ.
//Если вернули true то вызывается load
}

public virtual IsModfiedSince(DateTime dt) : bool { true }

WH>macro MyArray 
WH>"my_array" "(" count : Expression ")"
WH>type of count int;
WH>type of return array[$knownType]; // Говорим что возвращаемое значение должно быть этого типа
WH>{
WH>  def defaultValue = GetDefaultExprForType(knownType);
WH>  <[
WH>    def arr = array($count);
WH>    for (int i = 0; i < arr.Length; i++)
WH>       arr[i] = $defaultValue;
WH>    arr
WH>  ]>
WH>}
WH>

macro MyArray 
syntax: "my_array" "(" count : PExpr ")"
{
  <[
    def arr = array($count);

    for (int i = 0; i < arr.Length; i++)
      InitByDefaultValues(arr[i]);
    arr
  ]>
}

macro MakeAssignmentMacro(expr : PExpr)
{
  def typedExpr = typer.TypeExpr(expr);
  def ty = typedExpr.Type.Hint;

  if (ty.HasValue)
    if (ty.Value.Equqlas(typer.StandatrTypes.Int32))
      <[ $typedExpr = 42; ]>
    else if (ty.Value.Equqlas(typer.StandatrTypes.String))
      <[ $typedExpr = "42"; ]>
    else
      PExpr.Error(expr.Location, $"The my_array macro supprt only int and string type, but expression has $(ty.Value) type.")
  else
    null // сообщаем тайперу, что мы пока неготовы раскрыть макрос
}

def my_array[T](count : int)
{
  def arr = array($count);

  for (int i = 0; i < arr.Length; i++)
    arr[i] = default(T);
  arr
}

  public interface IReferencedAssembly
  {
    CustomAttributes  : ICustomAttributes { get; }
    Types             : Seq[NTypeInfo]    { get; }
    Macros            : Seq[IMacro2]      { get; }
    Msgs              : list[Msg]         { get; }
    ImagePath         : string            { get; }
    FullName          : string            { get; }

    event Changed : EventHandler;