1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
class Context {
object symwrap extends SymbolWrapper {
val context: Context.this.type = Context.this
}
object typewrap extends TypeWrapper {
val context: Context.this.type = Context.this
}
object symbols extends symwrap.Symbols;
object types extends typewrap.Types;
}
abstract class SymbolWrapper {
val context: Context;
import context._;
class Symbols requires context.symbols.type {
abstract class Symbol {
def typ: types.Type;
def sym: Symbol = typ.sym;
}
}
}
abstract class TypeWrapper {
val context: Context;
import context._;
class Types requires context.types.type {
abstract class Type {
def sym: symbols.Symbol;
def typ: Type = sym.typ;
}
}
}
|
