diff options
author | Martin Odersky <odersky@gmail.com> | 2013-11-25 18:14:53 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-11-25 18:14:53 +0100 |
commit | c4e94008b972e2a5aa16fcc6ef2838b14e399d35 (patch) | |
tree | 5cb5fafb35f29bd78d9b865ba1b16ad2a7a87c51 /src/dotty/tools/dotc/ast/CheckTrees.scala | |
parent | 42ee73f47e17f6e1c028444d3b144c9a9c8cf561 (diff) | |
download | dotty-c4e94008b972e2a5aa16fcc6ef2838b14e399d35.tar.gz dotty-c4e94008b972e2a5aa16fcc6ef2838b14e399d35.tar.bz2 dotty-c4e94008b972e2a5aa16fcc6ef2838b14e399d35.zip |
Final set of Types tweaks
- make namedParts return an ordered collection.
Diffstat (limited to 'src/dotty/tools/dotc/ast/CheckTrees.scala')
-rw-r--r-- | src/dotty/tools/dotc/ast/CheckTrees.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/CheckTrees.scala b/src/dotty/tools/dotc/ast/CheckTrees.scala index 4d8e25ae3..56a8b9a88 100644 --- a/src/dotty/tools/dotc/ast/CheckTrees.scala +++ b/src/dotty/tools/dotc/ast/CheckTrees.scala @@ -17,7 +17,7 @@ object CheckTrees { check(bounds contains arg.tpe) } - def escapingRefs(block: Block)(implicit ctx: Context): Set[NamedType] = { + def escapingRefs(block: Block)(implicit ctx: Context): collection.Set[NamedType] = { var hoisted: Set[Symbol] = Set() lazy val locals = localSyms(block.stats).toSet def isLocal(sym: Symbol): Boolean = @@ -29,7 +29,7 @@ object CheckTrees { !classLeaks(sym.asClass) } } - def leakingTypes(tp: Type): Set[NamedType] = + def leakingTypes(tp: Type): collection.Set[NamedType] = tp namedPartsWith (tp => isLocal(tp.symbol)) def typeLeaks(tp: Type): Boolean = leakingTypes(tp).nonEmpty def classLeaks(sym: ClassSymbol): Boolean = |