diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-10-27 18:33:57 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-10-27 18:33:57 +0100 |
| commit | 52a8a0aec9da8a4eaa3faf95ec7acd3ecfbabf53 (patch) | |
| tree | 7f029c717a8f8ea0787f669412ce2047e68a630d /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 41e7d9d46177650d23447f99989e8347aca56e71 (diff) | |
| download | dotty-52a8a0aec9da8a4eaa3faf95ec7acd3ecfbabf53.tar.gz dotty-52a8a0aec9da8a4eaa3faf95ec7acd3ecfbabf53.tar.bz2 dotty-52a8a0aec9da8a4eaa3faf95ec7acd3ecfbabf53.zip | |
Fixed unpickling of polymorphic constructors.
Constructors of parameterized classes now get polymorphic types when unpickled, as is the case when defining them or when reading them from a Java classfile. This caused a ripple of other faults which this commit also fixes.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index c6d419675..47eee5d4d 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1099,7 +1099,7 @@ class Typer extends Namer with Applications with Implicits { val tracked = ctx.track(poly) ctx.newTypeVars(tracked, tree.pos) } - adapt(tpd.TypeApply(tree, tvars map (tpd.TypeTree(_))), pt) + adapt(tree appliedToTypes tvars, pt) } case wtp => pt match { |