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