マクロ、スプライス、パターンマッチング

Question

パターンマッチでマクロに引数を使用する方法はありますか？

def extr(X:AnyRef) = macro extrImpl 

def extrImpl(c:Context)(X:c.Expr[AnyRef]):c.Expr[AnyRef] = { 
    import c.universe._ 

    val tree = reify { 
    new { 
     def unapply(x:String):Option[String] = x match { 
     case X.splice => Some(x) //error 
     case _ => None 
     } 
    } 
    }.tree 
    c.Expr(c.typeCheck(tree)) 
} 

しかし、残念ながら、コンパイラが言う「安定識別子必要ですが、X.spliceが見つかりました」：私はこれをやりたいです。

val XX = X.splice 

しかし、いずれかのスプライスでは動作しませんもちろん：通常、1のような、最初のvalに割り当てることによって、これを解決するだろう。

Answer 1

残念ながら、それは今はできません（と2.10.0-決勝で行うことはできません）が、我々は、その後のポイントリリースに役立つかもしれない作品に何か:)