aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/ast/CheckTrees.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2013-11-25 18:14:53 +0100
committerMartin Odersky <odersky@gmail.com>2013-11-25 18:14:53 +0100
commitc4e94008b972e2a5aa16fcc6ef2838b14e399d35 (patch)
tree5cb5fafb35f29bd78d9b865ba1b16ad2a7a87c51 /src/dotty/tools/dotc/ast/CheckTrees.scala
parent42ee73f47e17f6e1c028444d3b144c9a9c8cf561 (diff)
downloaddotty-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.scala4
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 =