Formato infisso per macro Nemerle
-
03-07-2019 - |
Domanda
Dire che ho bisogno di un operatore di moltiplicazione molto speciale. Può essere implementato nella seguente macro:
macro @<<!(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
E posso usarlo come
def val = 2 <<! 3
E il suo lavoro.
Ma quello che voglio davvero è un operatore di tipo "inglese" per la DSL che sto sviluppando ora:
macro @multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
e se provo ad usarlo come
def val = 2 multiply 3
compilatore non riuscito con 'previsto;' Errore
Qual è il problema? Come posso implementare questa macro in formato infix?
Soluzione
Direttamente dal codice sorgente del compilatore:
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 ]>
}
È necessario cospargere OperatorAttributes e funzionerà. A proposito, OperatorAttribute è definito come segue:
public class OperatorAttribute : NemerleAttribute
{
public mutable env : string;
public mutable name : string;
public mutable IsUnary : bool;
public mutable left : int;
public mutable right : int;
}
Altri suggerimenti
Come al solito, ho trovato una risposta prima della risposta della community :) Pertanto, la soluzione consiste semplicemente nell'utilizzare l'attributo speciale a livello di assembly che specifica la macro come operatore binario:
namespace TestMacroLib
{
[assembly: Nemerle.Internal.OperatorAttribute ("TestMacroLib", "multiply", false, 160, 161)]
public macro multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
}