diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-03 15:04:38 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-03 15:04:38 +0200 |
| commit | 8bcabd6c57e0883613eb21727502b0ca223b1210 (patch) | |
| tree | 6b532267c266f0cdb24e6d46be614fb82ca77d86 /src | |
| parent | 63d1f8661a13dc4b6ae087c87a6b30189fb61a8f (diff) | |
| download | dotty-8bcabd6c57e0883613eb21727502b0ca223b1210.tar.gz dotty-8bcabd6c57e0883613eb21727502b0ca223b1210.tar.bz2 dotty-8bcabd6c57e0883613eb21727502b0ca223b1210.zip | |
Fix #451: support -Ycheck:all.
Diffstat (limited to 'src')
| -rw-r--r-- | src/dotty/tools/dotc/core/Phases.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Phases.scala b/src/dotty/tools/dotc/core/Phases.scala index bf2b34f3c..aa089bc15 100644 --- a/src/dotty/tools/dotc/core/Phases.scala +++ b/src/dotty/tools/dotc/core/Phases.scala @@ -81,6 +81,7 @@ object Phases { phasesToSkip: List[String], stopBeforePhases: List[String], stopAfterPhases: List[String], YCheckAfter: List[String]): List[Phase] = { val squashedPhases = ListBuffer[Phase]() var prevPhases: Set[Class[_ <: Phase]] = Set.empty + val YCheckAll = YCheckAfter.contains("all") var stop = false val filteredPhases = phasess.map(_.filter { p => @@ -122,7 +123,7 @@ object Phases { phase } squashedPhases += phaseToAdd - val shouldAddYCheck = YCheckAfter.exists(nm => phaseToAdd.phaseName.contains(nm)) + val shouldAddYCheck = YCheckAfter.exists(nm => phaseToAdd.phaseName.contains(nm)) || YCheckAll if (shouldAddYCheck) { val checker = new TreeChecker |