1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// NOTE: blocked by SI-8049
// package test1
//
// import scala.reflect.macros.blackbox.Context
//
// trait Exprs {
// self: Universe =>
//
// class Expr[T]
// }
//
// trait Reifiers {
// self: Universe =>
//
// type Expr[T]
//
// def reify[T](expr: T): Expr[T] = macro Impls.reify[T]
// }
//
// trait Universe extends Exprs with Reifiers
//
// object Impls {
// def reify[T](cc: Context{ type PrefixType = Reifiers })(expr: cc.Expr[T]): cc.Expr[cc.prefix.value.Expr[T]] = ???
// }
|
