diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-07-10 14:54:21 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-07-17 11:02:01 +0200 |
| commit | 1ac95a7209439116750592931e43981127950ad4 (patch) | |
| tree | f2ecde2c2a2fc9687220ace3f6cdd216c485e665 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 34202eb4e13921190bf4992ab33d9d69975f4940 (diff) | |
| download | dotty-1ac95a7209439116750592931e43981127950ad4.tar.gz dotty-1ac95a7209439116750592931e43981127950ad4.tar.bz2 dotty-1ac95a7209439116750592931e43981127950ad4.zip | |
Add unique ids for definitions
If -uniqid is on, RefinedPrinter now prints unique ids in definitions.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions