From 3921e5be742ff9523825037056e82b7b82db5932 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Thu, 20 Oct 2011 22:28:44 +0000 Subject: dependent methods types are now always enabled for now, left the old if(settings.YdepMethTpes.value) guards in comments removed *.flags containing -Ydependent-method-types also updated one check file with one fewer error no review --- src/compiler/scala/tools/nsc/typechecker/Namers.scala | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) (limited to 'src/compiler/scala/tools/nsc/typechecker/Namers.scala') diff --git a/src/compiler/scala/tools/nsc/typechecker/Namers.scala b/src/compiler/scala/tools/nsc/typechecker/Namers.scala index 874d1149a0..1b2b737074 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Namers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Namers.scala @@ -1459,15 +1459,11 @@ trait Namers { self: Analyzer => this(p.info) // can only refer to symbols in earlier parameter sections // (if the extension is enabled) - if (opt.dependentMethodTypes) - okParams ++= vps + okParams ++= vps } } - private def errorAddendum = ( - if (opt.dependentMethodTypes) - ": parameter appears in the type of another parameter in the same section or an earlier one" - else "" - ) + private def errorAddendum = + ": parameter appears in the type of another parameter in the same section or an earlier one" } @deprecated("Use underlyingSymbol instead", "2.10.0") -- cgit v1.2.3