diff options
| author | Paul Phillips <paulp@improving.org> | 2011-06-19 21:43:53 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-06-19 21:43:53 +0000 |
| commit | 87b1b727692fca063882dd81fcfb219e955aa1a8 (patch) | |
| tree | a46487ba40998e13690758bc9e3fa9dc0698b162 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 3299ee0046fd920c3c6bfc386c73685059ba13ba (diff) | |
| download | scala-87b1b727692fca063882dd81fcfb219e955aa1a8.tar.gz scala-87b1b727692fca063882dd81fcfb219e955aa1a8.tar.bz2 scala-87b1b727692fca063882dd81fcfb219e955aa1a8.zip | |
Fixed an issue with higher kinded type inferenc...
Fixed an issue with higher kinded type inference on constructors without
any help from adriaan. Provisionally notched belt. Wrapped up as many
tickets as I added characters of code. Closes SI-3343, SI-4018. Review
by moors.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 8bb9312dff..ed2a884101 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -3188,7 +3188,7 @@ trait Typers extends Modes { if (tpt0.hasSymbol && !tpt0.symbol.typeParams.isEmpty) { context.undetparams = cloneSymbols(tpt0.symbol.typeParams) TypeTree().setOriginal(tpt0) - .setType(appliedType(tpt0.tpe, context.undetparams map (_.tpe))) + .setType(appliedType(tpt0.tpe, context.undetparams map (_.tpeHK))) // @PP: tpeHK! #3343, #4018, #4347. } else tpt0 } |