diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-04 10:33:55 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-04 10:33:55 +0100 |
| commit | a462570e3a7c5188ae5e6e4e76a16522bee10f1c (patch) | |
| tree | c905451884a2c786e71ad0339eae4566460c05f2 /src/dotty/tools/dotc/core/Types.scala | |
| parent | c7a58aaa0a8c459f99daa23590cd343402559c42 (diff) | |
| download | dotty-a462570e3a7c5188ae5e6e4e76a16522bee10f1c.tar.gz dotty-a462570e3a7c5188ae5e6e4e76a16522bee10f1c.tar.bz2 dotty-a462570e3a7c5188ae5e6e4e76a16522bee10f1c.zip | |
Added logic that retains symbol denotations from one run to the next if it is safe to do so.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions