blob: 9a7ef62cd912da6785800a79667c8322e80c5945 (
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 Application {
val lang2 = new Lang2 {};
val eval = new lang2.Eval2;
}
*/
|