diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-08 12:51:21 +0200 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-12 03:36:57 +0200 |
| commit | 5456c8b944056584ad7295d7e4d2a3b7a16362f8 (patch) | |
| tree | 562683369ed6440f24540eaead986993ba91facb /src/dotty/tools/dotc/core/TypeComparer.scala | |
| parent | 695afc5651da0fae0ff2cf0467820b6503dd0f6d (diff) | |
| download | dotty-5456c8b944056584ad7295d7e4d2a3b7a16362f8.tar.gz dotty-5456c8b944056584ad7295d7e4d2a3b7a16362f8.tar.bz2 dotty-5456c8b944056584ad7295d7e4d2a3b7a16362f8.zip | |
Make PolyType a subtype of TypeLambda
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 4c962747a..91a3dd2b9 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -478,16 +478,6 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling { false } compareMethod - case tp2: PolyType => - def comparePoly = tp1 match { - case tp1: PolyType => - (tp1.signature consistentParams tp2.signature) && - matchingTypeParams(tp1, tp2) && - isSubType(tp1.resultType, tp2.resultType.subst(tp2, tp1)) - case _ => - false - } - comparePoly case tp2 @ ExprType(restpe2) => def compareExpr = tp1 match { // We allow ()T to be a subtype of => T. |