diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 17:38:18 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-02-07 17:32:47 +0100 |
commit | 945576e421e5f7dc82984c4673884ad4c7ddf969 (patch) | |
tree | a5c12d64eff7c46dbb21247ce2cbba1ec5f23200 /src/dotty/tools/dotc/transform/OverridingPairs.scala | |
parent | 43ee240c3db3820cecb23ab22c93b1df2412cdc8 (diff) | |
download | dotty-945576e421e5f7dc82984c4673884ad4c7ddf969.tar.gz dotty-945576e421e5f7dc82984c4673884ad4c7ddf969.tar.bz2 dotty-945576e421e5f7dc82984c4673884ad4c7ddf969.zip |
New spec and implementation for matching.
Reformulated matchign spec and implemented accordingly. Previous
fix for #329 would have missed third new error case in over.scala.
Diffstat (limited to 'src/dotty/tools/dotc/transform/OverridingPairs.scala')
-rw-r--r-- | src/dotty/tools/dotc/transform/OverridingPairs.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/transform/OverridingPairs.scala b/src/dotty/tools/dotc/transform/OverridingPairs.scala index 4026749b2..bad763f41 100644 --- a/src/dotty/tools/dotc/transform/OverridingPairs.scala +++ b/src/dotty/tools/dotc/transform/OverridingPairs.scala @@ -42,8 +42,8 @@ object OverridingPairs { sym1.isType || { val info1 = self.memberInfo(sym1) val info2 = self.memberInfo(sym2) - // info1.signature == info2.signature && // TODO enable for speed - info1.widenExpr matches info2.widenExpr + info1.signature.sameParams(info2.signature) && + info1.matches(info2) } /** The symbols that can take part in an overriding pair */ |