diff options
| author | Lars Hupel <lars.hupel@mytum.de> | 2016-11-28 14:57:39 +0100 |
|---|---|---|
| committer | Lars Hupel <lars.hupel@mytum.de> | 2016-12-01 10:31:54 +0100 |
| commit | c7b818fdd7776d1e0230af025eb81ebc0d6aebe0 (patch) | |
| tree | 5e94b3f952cab88ab8bfc01c3f62990444584a3c /src/compiler/scala/tools/nsc/typechecker | |
| parent | 01535229108bba2a4c75f70b936e8e9a9a4431db (diff) | |
| download | scala-c7b818fdd7776d1e0230af025eb81ebc0d6aebe0.tar.gz scala-c7b818fdd7776d1e0230af025eb81ebc0d6aebe0.tar.bz2 scala-c7b818fdd7776d1e0230af025eb81ebc0d6aebe0.zip | |
remove deprecated compiler flag "-Yinfer-by-name"
This was slated for removal in 2.12.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Infer.scala | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Infer.scala b/src/compiler/scala/tools/nsc/typechecker/Infer.scala index 0071d66eb9..e8147dbf3a 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala @@ -936,10 +936,8 @@ trait Infer extends Checkable { def infer_s = map3(tparams, tvars, targs)((tparam, tvar, targ) => s"$tparam=$tvar/$targ") mkString "," printTyping(tree, s"infer expr instance from pt=$pt, $infer_s") - // SI-7899 inferring by-name types is unsound. The correct behaviour is conditional because the hole is - // exploited in Scalaz (Free.scala), as seen in: run/t7899-regression. - def dropByNameIfStrict(tp: Type): Type = if (settings.inferByName) tp else dropByName(tp) - def targsStrict = if (targs eq null) null else targs mapConserve dropByNameIfStrict + // SI-7899 inferring by-name types is unsound + def targsStrict = if (targs eq null) null else targs mapConserve dropByName if (keepNothings || (targs eq null)) { //@M: adjustTypeArgs fails if targs==null, neg/t0226 substExpr(tree, tparams, targsStrict, pt) |