Formato infijo para macro nemerle
-
03-07-2019 - |
Pregunta
Di que necesito un operador de multiplicación muy especial. Se puede implementar en la siguiente macro:
macro @<<!(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
Y puedo usarlo como
def val = 2 <<! 3
Y su trabajo.
Pero lo que realmente quiero es un operador similar al 'inglés' para el desarrollo de DSL Im ahora:
macro @multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
y si trato de usarlo como
def val = 2 multiply 3
el compilador falla con 'esperado;' error
¿Cuál es el problema? ¿Cómo puedo implementar esta macro de formato infijo?
Solución
Directamente del código fuente del compilador:
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 ]>
}
Necesitas esparcir atributos de operador alrededor y funcionará. Por cierto, OperatorAttribute se define de la siguiente manera:
public class OperatorAttribute : NemerleAttribute
{
public mutable env : string;
public mutable name : string;
public mutable IsUnary : bool;
public mutable left : int;
public mutable right : int;
}
Otros consejos
Como de costumbre, encontré la respuesta antes que la respuesta de la comunidad :) Entonces, la solución es simplemente usar un atributo especial de nivel de ensamblaje que especifique la macro como operador binario:
namespace TestMacroLib
{
[assembly: Nemerle.Internal.OperatorAttribute ("TestMacroLib", "multiply", false, 160, 161)]
public macro multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
}