diff options
author | Martin Odersky <odersky@gmail.com> | 2016-04-08 15:04:00 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-04-08 15:04:00 +0200 |
commit | 5debb0971aff9cfa68ed9db4158753fbd8d6b519 (patch) | |
tree | 92b5787e8733ae8db42a208c0ead030dc5eacfd4 | |
parent | b37a2a898223049e6ac4c5ad2588e7018319709b (diff) | |
download | dotty-5debb0971aff9cfa68ed9db4158753fbd8d6b519.tar.gz dotty-5debb0971aff9cfa68ed9db4158753fbd8d6b519.tar.bz2 dotty-5debb0971aff9cfa68ed9db4158753fbd8d6b519.zip |
Explain isTyper field in Phase.
-rw-r--r-- | src/dotty/tools/dotc/core/Phases.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Phases.scala b/src/dotty/tools/dotc/core/Phases.scala index ce87506ae..4b2861452 100644 --- a/src/dotty/tools/dotc/core/Phases.scala +++ b/src/dotty/tools/dotc/core/Phases.scala @@ -291,7 +291,11 @@ object Phases { */ def relaxedTyping: Boolean = false - /** Overridden by FrontEnd */ + /** Is this phase the standard typerphase? True for FrontEnd, but + * not for other first phases (such as FromTasty). The predicate + * is tested in some places that perform checks and corrections. It's + * different from isAfterTyper (and cheaper to test). + */ def isTyper = false def exists: Boolean = true |