Есть ли способ вернутьList изTypeSymbols для каждого класса в пакете с использованием макросов?

Я пытаюсь достичь макроса, который выдаст что-то эквивалентное этому списку:

scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._

scala> case class MyClass1()
defined class MyClass1

scala> case class MyClass2()
defined class MyClass2

scala> val typeSymbols = List(typeOf[MyClass1].typeSymbol, typeOf[MyClass2].typeSymbol)
typeSymbols: List[reflect.runtime.universe.Symbol] = List(class MyClass1, class MyClass2)

Вот'мои настройки:

У меня есть пакет с именемfoo, под которым они определены:

trait FooTrait

case class Bar() extends FooTrait 

case class Bar() extends FooTrait

Вот'Мой макрос, который получает все символы типов для классов в foo, которые расширяются:FooTrait

def allTypeSymbols_impl[T: c.WeakTypeTag](c: Context)(packageName: c.Expr[String]) = {
  import c.universe._

  // Get package name from the expression tree
  val Literal(Constant(name: String)) = packageName.tree

  // Get all classes under given package name
  val pkg = c.mirror.staticPackage(name)

  // Obtain type symbols for the classes - implementation omitted
  val types = getTypeSymbols(c.universe)(List(pkg))

  // Apply method for List. For easy readability in later applications
  val listApply = Select(reify(List).tree, newTermName("apply"))

  val result = types.map {
    t =>
      val typeName = c.Expr[TypeSymbol](Ident(t))
      println(s"Typename: $typeName, $t, ${t.toType}")

      reify(typeName.splice).tree
  }

  println(s"RESULT: ${showRaw(result)}")

  c.Expr[List[reflect.runtime.universe.TypeSymbol]](Apply(listApply, result.toList))
}

Первыйprintln печатает:

Typename: Expr[c.universe.TypeSymbol](Bar), class Bar, foo.Bar
Typename: Expr[c.universe.TypeSymbol](Baz), class Baz, foo.Baz

Второй печатает:

RESULT: List(Ident(foo.Bar), Ident(foo.Baz))

Но я получаю это сообщение об ошибке:

[error] no type parameters for method any2ArrowAssoc: (x: A)ArrowAssoc[A] exist so that it can be applied to arguments ()
[error]  --- because ---
[error] argument expression's type is not compatible with formal parameter type;
[error]  found   : 
[error]  required: ?A
[error] Note that  extends Any, not AnyRef.
[error] Such types can participate in value classes, but instances
[error] cannot appear in singleton types or in reference comparisons.

Что я должен сделать, чтобы сделать эту работу? Я подозреваю, что я должен написать что-то еще вместоIdent, но я не могне понять, что.

Использование Scala 2.10.2.

Заранее спасибо!