diff options
author | Martin Odersky <odersky@gmail.com> | 2014-02-24 13:21:24 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-02-24 18:56:48 +0100 |
commit | cdeafeafd252b20a0df5440e0420211af95e0cdc (patch) | |
tree | a2112ebe760b54d923f20305f2c29429d7f7cf6b /src/dotty/tools/dotc/core/pickling/UnPickler.scala | |
parent | 91e74ee45c8cedac279ec66f8277c94d05f2f2e3 (diff) | |
download | dotty-cdeafeafd252b20a0df5440e0420211af95e0cdc.tar.gz dotty-cdeafeafd252b20a0df5440e0420211af95e0cdc.tar.bz2 dotty-cdeafeafd252b20a0df5440e0420211af95e0cdc.zip |
Resetting uniques and hashset reorg.
Uniques are now cleared after each run. Also, HashSets get a more standard API, without a label, but with configurable load factor.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/UnPickler.scala')
0 files changed, 0 insertions, 0 deletions