diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-04 11:27:15 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-04 11:27:15 +0100 |
| commit | 19b6784ef1cae9cd0af278c0c3afcee47c0a00ea (patch) | |
| tree | 45fcb7127c86f2a3eb557f4d6ac70c07d35cc8a4 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 73166c1cf7af36389656e90b8d88f1d2a2fb5786 (diff) | |
| download | dotty-19b6784ef1cae9cd0af278c0c3afcee47c0a00ea.tar.gz dotty-19b6784ef1cae9cd0af278c0c3afcee47c0a00ea.tar.bz2 dotty-19b6784ef1cae9cd0af278c0c3afcee47c0a00ea.zip | |
Added capability to print tree positions
Controlled by option -Yprintpos
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions