diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-11-23 09:41:07 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-11-23 09:51:22 +0100 |
commit | cb37548ef85d471951867b9f8a97cb9b9820fc66 (patch) | |
tree | 26a89234c96025763bf6666f42db055786425a8b /.mailmap | |
parent | d7d63e93f35c692b26e95db1b02d758723dde18d (diff) | |
download | scala-cb37548ef85d471951867b9f8a97cb9b9820fc66.tar.gz scala-cb37548ef85d471951867b9f8a97cb9b9820fc66.tar.bz2 scala-cb37548ef85d471951867b9f8a97cb9b9820fc66.zip |
Symbol substutition must consider ClassInfoType#parents
An upcoming change to uncurry, in which I plan to make substitution of
`lambda params -> apply method params` requires that I first to fix a
problem in symbol substition.
This situation can arise when the body of this definition:
def owner1(a: A) = {
class C extends M[a.B]
}
is transplanted into a new owner that has a different symbol for `a`.
I speculated that value classes might also be prone to the
fact that symbol substitution neglected `ClassInfoType#parents`.
We can test change with Value Classes: Partial Functions that are
dependent on value class param type used to fail with a spurious
overriding error, now they work correctly.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions