diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-03 16:10:21 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-03 16:10:21 +0100 |
| commit | a1049e6227d412ce6bdd9065a350cb20921987e2 (patch) | |
| tree | 506849218a5178916e6fa87e0d0f0636e50e4434 /src/dotty/tools/dotc/core/TypeOps.scala | |
| parent | 30bfa5b1be62652fc07292d36ed1261edbcdb362 (diff) | |
| download | dotty-a1049e6227d412ce6bdd9065a350cb20921987e2.tar.gz dotty-a1049e6227d412ce6bdd9065a350cb20921987e2.tar.bz2 dotty-a1049e6227d412ce6bdd9065a350cb20921987e2.zip | |
Split scopes into immutable and mutable parts.
The goal is that symbols should be entered/deleted directly into classes instead of their scopes. This is necesaary so that invariant about fingerPrint can be maintained. We achieve it by making the info scope have immutable type, so an explicit cast is needed to get around that.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index a8c9af32d..6628aa824 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -197,7 +197,7 @@ trait TypeOps { this: Context => * to a list of typerefs, by converting all refinements to member * definitions in scope `decls`. Can add members to `decls` as a side-effect. */ - def normalizeToRefs(parents: List[Type], cls: ClassSymbol, decls: Scope): List[TypeRef] = { + def normalizeToRefs(parents: List[Type], cls: ClassSymbol, decls: MutableScope): List[TypeRef] = { var refinements = Map[TypeName, Type]() var formals = Map[TypeName, Symbol]() def normalizeToRef(tp: Type): TypeRef = tp match { |