blob: f9eae612f0c25e350af14340a17d275496379c5a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
import scala.reflect.runtime.universe._
import scala.reflect.runtime.{currentMirror => cm}
import scala.tools.reflect.ToolBox
object Test extends App {
val tb = cm.mkToolBox()
val idsym = tb.typecheck(q"type Id[X] = X").symbol.asType
val idTC1 = idsym.info
println(idTC1)
println(appliedType(idTC1, List(typeOf[Int])))
println("===")
val idTC2 = idsym.toType.etaExpand
println(idTC2)
println(appliedType(idTC2, List(typeOf[Int])))
println(appliedType(idTC2, List(typeOf[Int])).dealias)
}
|
