Format d'infixe pour la macro Nemerle
-
03-07-2019 - |
Question
Dites que j'ai besoin d'un opérateur de multiplication très spécial. Il peut être implémenté dans la macro suivante:
macro @<<!(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
Et je peux l'utiliser comme
def val = 2 <<! 3
Et son travail.
Mais ce que je veux vraiment, c’est un opérateur de type "anglais" pour le DSL Im en développement:
macro @multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
et si j'essaie de l'utiliser comme
def val = 2 multiply 3
le compilateur échoue avec 'attendu;' erreur
Quel est le problème? Comment puis-je implémenter cette macro au format infixe?
La solution
Directement à partir du code source du compilateur:
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 ]>
}
Vous devez saupoudrer des OperatorAttributes et cela fonctionnera. Btw, OperatorAttribute est défini comme suit:
public class OperatorAttribute : NemerleAttribute
{
public mutable env : string;
public mutable name : string;
public mutable IsUnary : bool;
public mutable left : int;
public mutable right : int;
}
Autres conseils
Comme d'habitude, j'ai trouvé une réponse plus tôt que la communauté ne le fait :) La solution consiste donc simplement à utiliser un attribut spécial de niveau d'assemblage qui spécifie la macro en tant qu'opérateur binaire:
namespace TestMacroLib
{
[assembly: Nemerle.Internal.OperatorAttribute ("TestMacroLib", "multiply", false, 160, 161)]
public macro multiply(op1, op2)
{
<[ ( $op1 * $op2 ) ]>
}
}