diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-27 21:47:07 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-11 09:33:11 +0200 |
| commit | 1d6f5f7f33f9e4be29553cb7ef1e6f054a64dc6b (patch) | |
| tree | 22f2b40e0c963280f183b026bc867284b217ceb6 /compiler/src/dotty/tools/dotc/core/Types.scala | |
| parent | ea96ecda77ab99969a65b66173260e66b199be74 (diff) | |
| download | dotty-1d6f5f7f33f9e4be29553cb7ef1e6f054a64dc6b.tar.gz dotty-1d6f5f7f33f9e4be29553cb7ef1e6f054a64dc6b.tar.bz2 dotty-1d6f5f7f33f9e4be29553cb7ef1e6f054a64dc6b.zip | |
Streamline pickling and unpickling of names
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions