Здравствуйте, Аноним, Вы писали:

А>t(x) {x}

Без введения синтаксиса — это будет некорректное выражение. Так как t(x) — это вызов функции. За ним не может идти блок.

С введением синтаксиса так:

macro Xxx(expr1, expr2)
  syntax ("t", "(", expr1, ")", expr2)
{
  match (expr2)
  {
    | <[ { ..$содержимео_блока } ]> => ОК делаем что нужно
    | _ => Message.Error(expr2.Location, "Expected block.")
  }
}