diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-15 10:03:14 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:07:26 +0200 |
commit | 60b231ce30a6eb0e99d031bdbcee3032d3ae5f3b (patch) | |
tree | 3ba23a5d1979e5cc0645429cb3d1de3562e91449 /src/dotty/tools/dotc | |
parent | 36ea47659d7cccbff6b011e86063660bdf391bc5 (diff) | |
download | dotty-60b231ce30a6eb0e99d031bdbcee3032d3ae5f3b.tar.gz dotty-60b231ce30a6eb0e99d031bdbcee3032d3ae5f3b.tar.bz2 dotty-60b231ce30a6eb0e99d031bdbcee3032d3ae5f3b.zip |
Always lambda abstract TempPolyTypes representing types.
Diffstat (limited to 'src/dotty/tools/dotc')
-rw-r--r-- | src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala index 457c8cfa6..ce03d7c6d 100644 --- a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala +++ b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala @@ -50,18 +50,9 @@ object Scala2Unpickler { */ def depoly(tp: Type, denot: SymDenotation)(implicit ctx: Context): Type = tp match { case TempPolyType(tparams, restpe) => - if (denot.isAbstractType) - restpe.LambdaAbstract(tparams) // bounds needed? - else if (denot.isAliasType) { - var err: Option[(String, Position)] = None - val result = restpe.parameterizeWith(tparams) - for ((msg, pos) <- err) - ctx.warning( - sm"""$msg - |originally parsed type : ${tp.show} - |will be approximated by: ${result.show}. - |Proceed at own risk.""") - result + if (denot.isType) { + assert(!denot.isClass) + restpe.LambdaAbstract(tparams) } else PolyType.fromSymbols(tparams, restpe) |