Scala quasiquote concatenazione

Question

Sono nuovo di scala macro e ho trascorso un paio di giorni cercando di scrivere il mio primissimo. Ho un problema con la concatenazione di quasiquotes.

C'è un elenco di clausole case, diciamo il seguente:

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

e ho bisogno di costruire un funzione parziale da esso. Il problema è che non ho idea di come incollarli nella quasiquote finale. La documentazione dice che dovrei fare qualcosa di simile:

q"{ case ..$cases }" 

ma non funziona se lo faccio.

C'è un modo per creare una partialFunction da un elenco di questo tipo?

Grazie per qualsiasi aiuto.

Answer 1

le seguenti opere per me con 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) 

    } 
} 

Poi si può chiamare Macros.partial(1), per esempio, o Macros.partial.isDefinedAt(2).

Si noti che per fare questo lavoro, ho dovuto utilizzare esplicitamente PartialFunction[Int, Int] nella quasiquote q"{ case ..$cases } : PartialFunction[Int, Int]". Non ha funzionato senza la definizione del tipo esplicito (altrimenti assume PartialFunction[Any, Int]).

Here è la specifica per quasiquote Sintassi per funzioni parziali. Funziona come un albero di pura sintassi, ma a quanto pare non può essere interpretato come un'espressione scritta tranne PartialFunction[Any, T] da una macro, a meno che il tipo non sia reso esplicito.