Scala: Yola bağlı türlerin eşdeğeri

Question

Bildiğim iki yol bağımlı türünün eşdeğerliğini nasıl elde edebilirim ama derleyici değil mi?

Scala'yı Kullanma 2.10.0 M7 Bir AST'yi bir evrenden diğerine dönüştürmeye çalışıyorum.

val bridge = treehugger.MacroBridge(c) 
def fromMacroTree(tree: c.universe.Tree): Tree = bridge.fromMacroTree(tree) 

Ancak bu bir derleyici hatasına neden olur:

Yukarıdaki kodda c yılında

[error] /scalamacros-getting-started/library/Macros.scala:21: type mismatch; 
[error] found : c.universe.Tree 
[error] required: bridge.context.universe.Tree 
[error] possible cause: missing arguments for method or constructor 
[error]  def fromMacroTree(tree: c.universe.Tree): Tree = bridge.fromMacroTree(tree) 

açıkça aynı olan bir makro uygulaması dahilinde

case class MacroBridge(context: Context) { 
    def toMacroTree(tree: treehugger.forest.Tree): context.universe.Tree = ??? 
    def fromMacroTree(tree: context.universe.Tree): treehugger.forest.Tree = ??? 
} 

, ben olarak kullanabilirsiniz bridge.context olarak değer, ancak belki bir değer türü denetleyicisi bunu denetleyemediğinden. genelleştirilmiş tür kısıtlaması yardım etmedi koymak:

def fromMacroTree[A](tree: A)(implicit ev: A =:= context.universe.Tree): Tree = 

bu hala bir hata sonuçlandı makroda:

[error] /scalamacros-getting-started/library/Macros.scala:21: Cannot prove that c.universe.Tree =:= bridge.context.universe.Tree. 
[error]  def fromMacroTree(tree: c.universe.Tree): Tree = bridge.fromMacroTree(tree) 

Ben bu yüzden TermName gibi diğer bağımlı türlerine alabilirsiniz context.universe erişmesi gerekir. döküm yanında etrafında daha iyi bir çalışma ?:

def fromMacroTree(tree: c.universe.Tree): Tree = 
    bridge.fromMacroTree(tree.asInstanceOf[bridge.context.universe.Tree]) 

Answer 1

var mı elimden çalışmayı yapmak şunlardır: Neredeyse same problem bir süre önce vardı

case class MacroBridge[C <: Context](context: C) { 
    def fromMacroTree(tree: context.universe.Tree): context.universe.Tree = ??? 
} 

trait MB { 
    def meth(c: Context) { 
    val bridge = MacroBridge[c.type](c) 
    def fromMacroTree(tree: c.universe.Tree): c.universe.Tree = 
     bridge.fromMacroTree(tree) 
    } 
} 

.