diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-13 17:19:17 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-13 17:19:17 +0100 |
commit | 0b02ede80cfbc9c585114bb0dd51436dbf15de5f (patch) | |
tree | 96327f725054c10676bd1a46d4fb8e0fa3c5b063 /src | |
parent | f76e81ed5cc5f57fcbdde6ea98503bd031c903a2 (diff) | |
download | dotty-0b02ede80cfbc9c585114bb0dd51436dbf15de5f.tar.gz dotty-0b02ede80cfbc9c585114bb0dd51436dbf15de5f.tar.bz2 dotty-0b02ede80cfbc9c585114bb0dd51436dbf15de5f.zip |
Added structural equals method to PolyParams
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 080596321..0363a8c70 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2173,6 +2173,12 @@ object Types { override def toString = s"PolyParam(${binder.paramNames(paramNum)})" override def computeHash = doHash(paramNum, binder) + override def equals(that: Any) = that match { + case that: PolyParam => + (this.binder eq that.binder) && this.paramNum == that.paramNum + case _ => + false + } } /** A skolem type reference with underlying type `binder`. */ |