diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-06-29 19:48:40 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:01 +0200 |
| commit | 31af865656ecc352c39ce919981e9b50d42a3237 (patch) | |
| tree | 5c1f85e80e9e21f49a6c755a6c2415855212fa92 /src/dotty/tools/dotc/typer/Namer.scala | |
| parent | 0a5f8394a4a226bd3dcf9c966495e653a25ed7d2 (diff) | |
| download | dotty-31af865656ecc352c39ce919981e9b50d42a3237.tar.gz dotty-31af865656ecc352c39ce919981e9b50d42a3237.tar.bz2 dotty-31af865656ecc352c39ce919981e9b50d42a3237.zip | |
Fix condition for lambda abstracting in Namer
The previous condition could make a (derived) type a * type
for a little while even though it had type parameters. This
loophole caused collection/generic/MapFactory.scala and with
it compile-stdlib to fail.
Refinement for knownHK for PolyParams
pos test t2082.scala shows that knownHK can be constructed before
the binder PolyType of a PolyParam is initialized.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 7982f288d..bc8f8e281 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -935,7 +935,7 @@ class Namer { typer: Typer => //val toParameterize = tparamSyms.nonEmpty && !isDerived //val needsLambda = sym.allOverriddenSymbols.exists(_ is HigherKinded) && !isDerived def abstracted(tp: Type): Type = - if (tparamSyms.nonEmpty && !isDerived) tp.LambdaAbstract(tparamSyms) + if (tparamSyms.nonEmpty && !tp.isHK) tp.LambdaAbstract(tparamSyms) //else if (toParameterize) tp.parameterizeWith(tparamSyms) else tp |