blob: bba97fcae113516407b777b7dcc75a31f1a19a05 (
plain) (
blame)
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.{BlackboxContext => Ctx}
//
// 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: Ctx{ type PrefixType = Reifiers })(expr: cc.Expr[T]): cc.Expr[cc.prefix.value.Expr[T]] = ???
// }
|