diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-23 13:51:37 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:09 +0100 |
commit | 8fea2ef8368dc1bf82bb8064dd17368c38bb2347 (patch) | |
tree | 60b605f49adc839880fee922a08aca6d659dd074 /src/dotty/tools/dotc/core/pickling/TastyPrinter.scala | |
parent | 4115edaa883f753b675373cbee4997e0cfb889e5 (diff) | |
download | dotty-8fea2ef8368dc1bf82bb8064dd17368c38bb2347.tar.gz dotty-8fea2ef8368dc1bf82bb8064dd17368c38bb2347.tar.bz2 dotty-8fea2ef8368dc1bf82bb8064dd17368c38bb2347.zip |
Record pickled trees in a hashmap
The idea is that we want to use the mapping from tree to Addr
in other sections, most immeditaely for positions, but it could
be others as well.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/TastyPrinter.scala')
0 files changed, 0 insertions, 0 deletions