Infix Format für Nemerle Makro

Question

Sagen, dass ich einige sehr spezielle Multiplikationsoperator benötigen. Es kann in folgenden Makro implementiert werden:

macro @<<!(op1, op2)
{
    <[ ( $op1 * $op2 ) ]>
}

Und ich kann es verwenden, wie

def val = 2 <<! 3

Und seine Arbeit.

Aber was ich wirklich will, ist einig ‚english' artige Operator für die DSL In Entwicklung jetzt:

macro @multiply(op1, op2)
{
    <[ ( $op1 * $op2 ) ]>
}

und wenn ich versuche, es zu verwenden, wie

def val = 2 multiply 3

Compiler nicht mit 'erwartet;' Fehler

Was ist das Problem? Wie kann ich dieses Infix-Format Makro implementieren?

Answer 1

Gerade vom Compiler Quellcode:

namespace Nemerle.English
{
  [assembly: Nemerle.Internal.OperatorAttribute ("Nemerle.English", "and", false, 160, 161)]
  [assembly: Nemerle.Internal.OperatorAttribute ("Nemerle.English", "or", false, 150, 151)]
  [assembly: Nemerle.Internal.OperatorAttribute ("Nemerle.English", "not", true, 181, 180)]  

  macro @and (e1, e2) {
    <[ $e1 && $e2 ]>
  }

  macro @or (e1, e2) {
    <[ $e1 || $e2 ]>
  }

  macro @not (e) {
    <[ ! $e ]>
  }

Sie müssen OperatorAttributes um streuen und es wird funktionieren. Btw, ist OperatorAttribute wie folgt definiert:

public class OperatorAttribute : NemerleAttribute
{
  public mutable env : string;
  public mutable name : string;
  public mutable IsUnary : bool;
  public mutable left : int;
  public mutable right : int;
}

Answer 2

Wie üblich, fand ich antworten früher als comunity reagieren :) So Lösung ist einfach spezielles assemply Ebene Attribut zu verwenden, das das Makro als binärer Operator angibt:

namespace TestMacroLib
{
  [assembly: Nemerle.Internal.OperatorAttribute ("TestMacroLib", "multiply", false, 160, 161)]
  public macro multiply(op1, op2)
  {
    <[ ( $op1 * $op2 ) ]>
  }
}