blob: f0b907aa5d1bb41acae715e8226f46ce3c9ac387 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
trait Lang1 {
trait Exp;
trait Visitor { def f(left: Exp): Unit }
class Eval1 extends Visitor { self: Visitor =>
def f(left: Exp) = ()
}
}
trait Lang2 extends Lang1 {
class Eval2 extends Eval1 { self: Visitor => }
}
/*
object Main with App {
val lang2 = new Lang2 {}
val eval = new lang2.Eval2
}
*/
|