diff options
Diffstat (limited to 'compiler/src/dotty/tools/dotc/config/Settings.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/config/Settings.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/config/Settings.scala b/compiler/src/dotty/tools/dotc/config/Settings.scala index 58fa6d366..c2763cdf0 100644 --- a/compiler/src/dotty/tools/dotc/config/Settings.scala +++ b/compiler/src/dotty/tools/dotc/config/Settings.scala @@ -6,6 +6,7 @@ import scala.util.{ Try, Success, Failure } import scala.reflect.internal.util.StringOps import reflect.ClassTag import core.Contexts._ +import scala.annotation.tailrec // import annotation.unchecked // Dotty deviation: Imports take precedence over definitions in enclosing package // (Note that @unchecked is in scala, not annotation, so annotation.unchecked gives @@ -217,7 +218,7 @@ object Settings { case "--" :: args => checkDependencies(stateWithArgs(skipped ++ args)) case x :: _ if x startsWith "-" => - def loop(settings: List[Setting[_]]): ArgsSummary = settings match { + @tailrec def loop(settings: List[Setting[_]]): ArgsSummary = settings match { case setting :: settings1 => val state1 = setting.tryToSet(state) if (state1 ne state) processArguments(state1, processAll, skipped) |