diff options
author | Martin Odersky <odersky@gmail.com> | 2007-12-19 10:38:50 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-12-19 10:38:50 +0000 |
commit | 2ed9387915c9b813907c811ff889a056333d2ded (patch) | |
tree | dc577ecb63a6b6955bc75edddbac45a9b49f2685 /src/compiler/scala/tools/nsc/typechecker/Namers.scala | |
parent | e5d6f338deead8beb992d215ff57ea78c8c5b6f5 (diff) | |
download | scala-2ed9387915c9b813907c811ff889a056333d2ded.tar.gz scala-2ed9387915c9b813907c811ff889a056333d2ded.tar.bz2 scala-2ed9387915c9b813907c811ff889a056333d2ded.zip |
dual mode (generics or not) version of compiler...
dual mode (generics or not) version of compiler and libraries
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Namers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Namers.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Namers.scala b/src/compiler/scala/tools/nsc/typechecker/Namers.scala index b285113ee6..1ae4eced0e 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Namers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Namers.scala @@ -522,7 +522,7 @@ trait Namers { self: Analyzer => } private def classSig(tparams: List[TypeDef], impl: Template): Type = - parameterizedType(typer.reenterTypeParams(tparams), templateSig(impl)) + polyType(typer.reenterTypeParams(tparams), templateSig(impl)) private def methodSig(tparams: List[TypeDef], vparamss: List[List[ValDef]], tpt: Tree, rhs: Tree): Type = { @@ -613,7 +613,7 @@ trait Namers { self: Analyzer => } def thisMethodType(restpe: Type) = - parameterizedType( + polyType( tparamSyms, if (vparamSymss.isEmpty) PolyType(List(), restpe) else checkDependencies((vparamSymss :\ restpe) (makeMethodType))) @@ -739,7 +739,7 @@ trait Namers { self: Analyzer => if (tpsym.owner.isRefinementClass && // only needed in refinements !tpsym.allOverriddenSymbols.forall{verifyOverriding(_)}) ErrorType - else parameterizedType(tparamSyms, tp) + else polyType(tparamSyms, tp) } def typeSig(tree: Tree): Type = { |