summaryrefslogtreecommitdiff
path: root/src/fjbg/ch/epfl/lamp
diff options
context:
space:
mode:
authorVlad Ureche <vlad.ureche@gmail.com>2013-06-14 15:01:37 +0200
committerVlad Ureche <vlad.ureche@gmail.com>2013-06-25 11:46:24 +0200
commit228549356ce5dda0305dc2e9e08870859e4de06e (patch)
tree0e78e73438681de0d6db6cc5d1b11e0a8c90f199 /src/fjbg/ch/epfl/lamp
parentd0df4c514f662312e2a9284fef2cf24a284aff28 (diff)
downloadscala-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