diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-17 12:32:57 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:07:27 +0200 |
| commit | e2aa258c3781fa9ee62fa47dd3b1206b09588c17 (patch) | |
| tree | 70ebd91374c44c4768b648e751d700f8ca36d56d /src/dotty/tools/dotc/typer/Namer.scala | |
| parent | eb0b2886f642ec00b2e7f2db569c25f0e1e34757 (diff) | |
| download | dotty-e2aa258c3781fa9ee62fa47dd3b1206b09588c17.tar.gz dotty-e2aa258c3781fa9ee62fa47dd3b1206b09588c17.tar.bz2 dotty-e2aa258c3781fa9ee62fa47dd3b1206b09588c17.zip | |
Drop parameterizeWith
parameterizeWith picked between simple hk types and lambda abstraction.
No longer needed because now we always lambda abstract.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 7e7d4f802..224ced0ce 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -780,11 +780,11 @@ class Namer { typer: Typer => completeParams(tdef.tparams) val tparamSyms = tdef.tparams map symbolOfTree val isDerived = tdef.rhs.isInstanceOf[untpd.DerivedTypeTree] - val toParameterize = tparamSyms.nonEmpty && !isDerived - val needsLambda = sym.allOverriddenSymbols.exists(_ is HigherKinded) && !isDerived + //val toParameterize = tparamSyms.nonEmpty && !isDerived + //val needsLambda = sym.allOverriddenSymbols.exists(_ is HigherKinded) && !isDerived def abstracted(tp: Type): Type = - if (needsLambda) tp.LambdaAbstract(tparamSyms) - else if (toParameterize) tp.parameterizeWith(tparamSyms) + if (tparamSyms.nonEmpty) tp.LambdaAbstract(tparamSyms) + //else if (toParameterize) tp.parameterizeWith(tparamSyms) else tp sym.info = abstracted(TypeBounds.empty) // Temporarily set info of defined type T to ` >: Nothing <: Any. |