diff options
author | Martin Odersky <odersky@gmail.com> | 2016-07-20 23:23:51 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-21 17:42:25 +0200 |
commit | eaffc785be1e42c3a44ce149dfb8cabb6681d7c6 (patch) | |
tree | 428d0afa49640c84506dbf00925238e758a2af95 /src/dotty/tools/dotc/typer | |
parent | 80a65f4b2512bdf1dc46144bea1c000d39319872 (diff) | |
download | dotty-eaffc785be1e42c3a44ce149dfb8cabb6681d7c6.tar.gz dotty-eaffc785be1e42c3a44ce149dfb8cabb6681d7c6.tar.bz2 dotty-eaffc785be1e42c3a44ce149dfb8cabb6681d7c6.zip |
Tweaks to printing
- increase page width
- print scopes more legibly under -verbose
Diffstat (limited to 'src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions