diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-02-19 14:36:37 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:08 +0100 |
| commit | 30f08b095192435b080afe4b1734b8ce48039f84 (patch) | |
| tree | aa0fa6e87098c1388663d560fc93ca6ae97b6f39 /src/dotty/tools/dotc/core/pickling/TastyReader.scala | |
| parent | ed986b5256a535a50fe3c6095fe7a93376edb0fc (diff) | |
| download | dotty-30f08b095192435b080afe4b1734b8ce48039f84.tar.gz dotty-30f08b095192435b080afe4b1734b8ce48039f84.tar.bz2 dotty-30f08b095192435b080afe4b1734b8ce48039f84.zip | |
Changes to pickling annotations
Problem is that we need to be strict in the annotation symbol
(need to force at the latest when checking whether a definition
has some specific class of annotation), but should be lazy
in the rest of the tree.
This is achieved by pickling annotations with a symbol and a full
tree.
At the same time, Annotated trees can be ignored because they
are eliminated by Typer. We only need AnnotatedTypes.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/TastyReader.scala')
0 files changed, 0 insertions, 0 deletions