diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-04 11:43:57 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-12 16:08:36 +0100 |
commit | c43ae4a31cac6363050ab07aa6ec1a9f0e9213b4 (patch) | |
tree | a919e11248ea3f62155a70b6aa12ab701a82a083 /src/dotty/tools/dotc/core/Types.scala | |
parent | e68d68414fa346fad9dee204746d826ee172e861 (diff) | |
download | dotty-c43ae4a31cac6363050ab07aa6ec1a9f0e9213b4.tar.gz dotty-c43ae4a31cac6363050ab07aa6ec1a9f0e9213b4.tar.bz2 dotty-c43ae4a31cac6363050ab07aa6ec1a9f0e9213b4.zip |
Add patching functionality for migration
Firs version of patching that can be invoked by dotty compiler
itself.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 17c2ec4ca..3801f1914 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2424,8 +2424,6 @@ object Types { x => paramBounds mapConserve (_.subst(this, x).bounds), x => resType.subst(this, x)) - // need to override hashCode and equals to be object identity - // because paramNames by itself is not discriminatory enough override def equals(other: Any) = other match { case other: PolyType => other.paramNames == this.paramNames && other.paramBounds == this.paramBounds && other.resType == this.resType |