diff options
author | liu fengyun <liu@fengy.me> | 2016-11-15 18:00:28 +0100 |
---|---|---|
committer | liu fengyun <liu@fengy.me> | 2016-11-24 13:36:08 +0100 |
commit | 8d97bc24cd26a5f06a07e733b59e82ef77b2e896 (patch) | |
tree | 86cb0c3cc91267f2ad7529f8eeb4ffc30e1f5327 /compiler/src/dotty/tools/dotc/transform/TreeChecker.scala | |
parent | 7f7d2cc8617b8d969d1399f4616f5d657fe6cdfd (diff) | |
download | dotty-8d97bc24cd26a5f06a07e733b59e82ef77b2e896.tar.gz dotty-8d97bc24cd26a5f06a07e733b59e82ef77b2e896.tar.bz2 dotty-8d97bc24cd26a5f06a07e733b59e82ef77b2e896.zip |
renable checking for TreeChecker
Diffstat (limited to 'compiler/src/dotty/tools/dotc/transform/TreeChecker.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/transform/TreeChecker.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala b/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala index 7da8bde0f..328c8204d 100644 --- a/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala +++ b/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala @@ -135,11 +135,14 @@ class TreeChecker extends Phase with SymTransformer { } } - class Checker(phasesToCheck: Seq[Phase]) extends ReTyper with NoChecking { + class Checker(phasesToCheck: Seq[Phase]) extends ReTyper with Checking { val nowDefinedSyms = new mutable.HashSet[Symbol] val everDefinedSyms = new mutable.HashMap[Symbol, Tree] + // don't check value classes after typer, as the constraint about constructors doesn't hold after transform + override def checkDerivedValueClass(clazz: Symbol, stats: List[Tree])(implicit ctx: Context) = () + def withDefinedSym[T](tree: untpd.Tree)(op: => T)(implicit ctx: Context): T = tree match { case tree: DefTree => val sym = tree.symbol |