Scala quasiquote konkatenacja

Question

Jestem nowy w makrach scala i spędziłem kilka dni próbując napisać mój pierwszy. Mam problem z konkatenacją quasiquotes.

Istnieje lista klauzul case, powiedzmy, co następuje:

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

I muszę zbudować częściową funkcję z niego. Problem polega na tym, że nie mam pojęcia, jak je wkleić w końcowym quasiquote. Dokumentacja mówi, że powinniśmy zrobić coś takiego:

q"{ case ..$cases }" 

ale to nie działa, jeśli to zrobić.

Czy istnieje sposób na zbudowanie częściowej funkcji z takiej listy?

Dzięki za pomoc.

Answer 1

następujące prace dla mnie 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) 

    } 
} 

Następnie można wywołać Macros.partial(1), na przykład, albo Macros.partial.isDefinedAt(2).

Należy zauważyć, że aby to działało, musiałem jawnie użyć PartialFunction[Int, Int] w quasiquote q"{ case ..$cases } : PartialFunction[Int, Int]". Nie działało bez jawnej definicji typu (w innym przypadku zakłada się PartialFunction[Any, Int]).

Here to specyfikacja quasiquote Składnia funkcji częściowych. Działa jak czyste drzewo składniowe, ale najwyraźniej nie może być interpretowane jako typowane wyrażenie z wyjątkiem PartialFunction[Any, T] przez makro, chyba że typ jest jawny.