formato Infix para Nemerle macro
-
03-07-2019 - |
Pergunta
Say Eu preciso de algum operador de multiplicação muito especial. Ele pode ser implementado de macro seguinte:
macro @<<!(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
E eu posso usá-lo como
def val = 2 <<! 3
E o seu trabalho.
Mas o que eu realmente quero é algum 'english'-como operador para a DSL Im desenvolvendo agora:
macro @multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
e se eu tentar usá-lo como
def val = 2 multiply 3
compilador falha com 'esperado'; erro
Qual é o problema? Como posso implementar esta infix formato macro?
Solução
Em linha reta do código-fonte do 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 ]>
}
Você precisa polvilhe OperatorAttributes volta e ele vai trabalhar. Btw, OperatorAttribute é definido da seguinte forma:
public class OperatorAttribute : NemerleAttribute
{
public mutable env : string;
public mutable name : string;
public mutable IsUnary : bool;
public mutable left : int;
public mutable right : int;
}
Outras dicas
Como habitualmente, encontrei resposta mais cedo do que respondem comunidade :) Então, a solução é simplesmente usar atributo especial nível assemply que especifica a macro como operador binário:
namespace TestMacroLib
{
[assembly: Nemerle.Internal.OperatorAttribute ("TestMacroLib", "multiply", false, 160, 161)]
public macro multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
}