diff options
| author | michelou <michelou@epfl.ch> | 2008-03-11 11:46:57 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2008-03-11 11:46:57 +0000 |
| commit | 83ab996aacd72a6866209aa9983ff4c23e8a5e68 (patch) | |
| tree | 41ca65f18fc656b90044944b8892a43052d62370 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | efb71c1e44d23686575618d67ca1612ff57862a2 (diff) | |
| download | scala-83ab996aacd72a6866209aa9983ff4c23e8a5e68.tar.gz scala-83ab996aacd72a6866209aa9983ff4c23e8a5e68.tar.bz2 scala-83ab996aacd72a6866209aa9983ff4c23e8a5e68.zip | |
extended isStrictlyMoreSpecific for erased types
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index b5a39f3c8d..a43418f6bd 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1,5 +1,5 @@ /* NSC -- new Scala compiler - * Copyright 2005-2007 LAMP/EPFL + * Copyright 2005-2008 LAMP/EPFL * @author Martin Odersky */ // $Id$ @@ -1464,7 +1464,7 @@ trait Typers { self: Analyzer => } val vparams = List.mapConserve(fun.vparams)(typedValDef) -// for (val vparam <- vparams) { +// for (vparam <- vparams) { // checkNoEscaping.locals(context.scope, WildcardType, vparam.tpt); () // } var body = typed(fun.body, respt) @@ -2094,7 +2094,7 @@ trait Typers { self: Analyzer => } protected def typedExistentialTypeTree(tree: ExistentialTypeTree): Tree = { - for (val wc <- tree.whereClauses) + for (wc <- tree.whereClauses) if (wc.symbol == NoSymbol) { namer.enterSym(wc); wc.symbol setFlag EXISTENTIAL } else context.scope enter wc.symbol val whereClauses1 = typedStats(tree.whereClauses, context.owner) @@ -2473,7 +2473,7 @@ trait Typers { self: Analyzer => silent(_.typed(fun, funMode(mode), funpt)) match { case fun1: Tree => val fun2 = if (stableApplication) stabilizeFun(fun1, mode, pt) else fun1 - if (util.Statistics.enabled) appcnt = appcnt + 1 + if (util.Statistics.enabled) appcnt += 1 val res = if (phase.id <= currentRun.typerPhase.id && fun2.isInstanceOf[Select] && @@ -3369,7 +3369,7 @@ trait Typers { self: Analyzer => val pt = normalize(pt0) val isView = pt0.isInstanceOf[MethodType] - if (util.Statistics.enabled) implcnt = implcnt + 1 + if (util.Statistics.enabled) implcnt += 1 val startTime = if (util.Statistics.enabled) currentTime else 0l val tc = newTyper(context.makeImplicit(reportAmbiguous)) |