diff options
author | Vlad Ureche <vlad.ureche@gmail.com> | 2013-06-14 15:01:37 +0200 |
---|---|---|
committer | Vlad Ureche <vlad.ureche@gmail.com> | 2013-06-25 11:46:24 +0200 |
commit | 228549356ce5dda0305dc2e9e08870859e4de06e (patch) | |
tree | 0e78e73438681de0d6db6cc5d1b11e0a8c90f199 /src/fjbg/ch/epfl/lamp | |
parent | d0df4c514f662312e2a9284fef2cf24a284aff28 (diff) | |
download | scala-228549356ce5dda0305dc2e9e08870859e4de06e.tar.gz scala-228549356ce5dda0305dc2e9e08870859e4de06e.tar.bz2 scala-228549356ce5dda0305dc2e9e08870859e4de06e.zip |
SI-7344 Specialize methods in private scopes
This performs method specialization inside a scope other than a {class,
trait, object}: could be another method or a value. This specialization
is much simpler, since there is no need to record the new members in
the class signature, their signatures are only visible locally.
It works according to the usual logic:
- we use normalizeMember to create the specialized symbols
- we leave DefDef stubs in the tree that are later filled in by tree
duplication and adaptation
The solution is limited by SI-7579: since the duplicator loses the sym
annotations when duplicating, this expansion and rewiring can only take
place in code that has not been subject to duplication. You can see the
test case for an example.
Review by @dragos, @paulp or @axel22.
Diffstat (limited to 'src/fjbg/ch/epfl/lamp')
0 files changed, 0 insertions, 0 deletions