Scala Quasiquote Verkettung

Question

Ich bin neu bei Scala Macros und ich verbrachte ein paar Tage damit, meine erste zu schreiben. Ich habe ein Problem mit der Quasiknotenverkettung.

Es gibt eine Liste von Fallklauseln, sagen wir mal folgendes:

val cases = cq"x => 1 " :: cq"_ => 0 " :: Nil 

Und ich brauche eine Teilfunktion daraus zu bauen. Das Problem ist, dass ich keine Ahnung habe, wie man sie in die letzte Quasiquote einfügt. Die Dokumentation sagt, dass ich etwas tun sollte:

q"{ case ..$cases }" 

aber es funktioniert nicht, wenn ich dies tun.

Gibt es eine Möglichkeit, aus einer solchen Liste eine PartialFunction zu erstellen?

Danke für jede Hilfe.

Answer 1

Die folgenden Werke für mich mit 2.11.2:

import scala.reflect.macros.Context 
object Macros { 
    def partial: PartialFunction[Int, Int] = macro partialImpl 
    def partialImpl(c: Context): c.Expr[PartialFunction[Int, Int]]= { 
     import c.universe._ 
     val cases = cq"x => 1 " :: cq"_ => 0 " :: Nil 
     val pf = q"{ case ..$cases } : PartialFunction[Int, Int]" 
     c.Expr[PartialFunction[Int, Int]](pf) 

    } 
} 

Dann können Sie Macros.partial(1) nennen, zum Beispiel, oder Macros.partial.isDefinedAt(2).

Beachten Sie, dass, damit dies funktioniert, ich explizit PartialFunction[Int, Int] in der Quasi-Schrift q"{ case ..$cases } : PartialFunction[Int, Int]" verwenden musste. Es funktionierte nicht ohne die explizite Typdefinition (andernfalls wird angenommen PartialFunction[Any, Int]).

Here ist die Spezifikation für Quasi-Syntax für Teilfunktionen. Es funktioniert wie ein reiner Syntaxbaum, aber kann anscheinend nicht als ein typisierter Ausdruck interpretiert werden, außer PartialFunction[Any, T] von einem Makro, außer der Typ wird explizit gemacht.