Using macros in definitions

[Ludovic Courtès]

Hi,

Would it be possible to allow macros to be used within definitions?

For instance, the following code:

  macro @Prec { 33 }
  def @Op precedence @Prec left l right r
  {
    l r
  }

yields these messages:

  2,20: precedence is too low (10 substituted)
  2,20: fatal error: opening left brace or @Begin of @Op expected

Thanks,
Ludovic.