blob: f6a4580e3320bafadd2381810e7770f29e054e30 (
plain) (
tree)
|
|
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 Executable {
val lang2 = new Lang2 {};
val eval = new lang2.Eval2;
}
*/
|