blob: 20450335f4f401d335cf254be453a757e024ef1f (
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: Visitor extends Visitor {
def f(left: Exp) = ();
}
}
trait Lang2 extends Lang1 {
class Eval2: Visitor extends Eval1;
}
/*
object Main with Application {
val lang2 = new Lang2 {};
val eval = new lang2.Eval2;
}
*/
|
