diff options
author | Martin Odersky <odersky@gmail.com> | 2005-09-28 15:14:00 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2005-09-28 15:14:00 +0000 |
commit | 9055a919a643f98e38c342d15037655dc50bca19 (patch) | |
tree | 71afa87274541c0ab4f483e0743397bfdd435acf /sources/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | b65ef22c4d8de7784d021e0314fc520a5098092b (diff) | |
download | scala-9055a919a643f98e38c342d15037655dc50bca19.tar.gz scala-9055a919a643f98e38c342d15037655dc50bca19.tar.bz2 scala-9055a919a643f98e38c342d15037655dc50bca19.zip |
*** empty log message ***
Diffstat (limited to 'sources/scala/tools/nsc/typechecker/RefChecks.scala')
-rwxr-xr-x | sources/scala/tools/nsc/typechecker/RefChecks.scala | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sources/scala/tools/nsc/typechecker/RefChecks.scala b/sources/scala/tools/nsc/typechecker/RefChecks.scala index bd2785fde6..8a908a6304 100755 --- a/sources/scala/tools/nsc/typechecker/RefChecks.scala +++ b/sources/scala/tools/nsc/typechecker/RefChecks.scala @@ -42,12 +42,14 @@ abstract class RefChecks extends InfoTransform { /** the following two members override abstract members in Transform */ val phaseName: String = "refchecks"; + override def phaseNewFlags: long = lateMETHOD; + def newTransformer(unit: CompilationUnit): Transformer = new RefCheckTransformer(unit); override def changesBaseClasses = false; def transformInfo(sym: Symbol, tp: Type): Type = { if (sym.isModule && !sym.isStatic) { - sym setFlag (METHOD | STABLE); + sym setFlag (lateMETHOD | STABLE); PolyType(List(), tp) } else tp } @@ -477,7 +479,7 @@ abstract class RefChecks extends InfoTransform { /* Check whether argument types conform to bounds of type parameters */ def checkBounds(tparams: List[Symbol], argtps: List[Type]): unit = try { - infer.checkBounds(tree.pos, tparams, argtps, ""); + typer.infer.checkBounds(tree.pos, tparams, argtps, ""); } catch { case ex: TypeError => unit.error(tree.pos, ex.getMessage()); } |