diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-05-20 09:46:19 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-05-21 17:41:16 +0200 |
| commit | de7a5bb049fadaa2078107358e51de273a15d515 (patch) | |
| tree | e1dbf243136773723142995dd32d5c1be7bcd07c /src/dotty/tools/dotc/core/Types.scala | |
| parent | 02f5ba8f72b043854aec5729f2b30fe813027435 (diff) | |
| download | dotty-de7a5bb049fadaa2078107358e51de273a15d515.tar.gz dotty-de7a5bb049fadaa2078107358e51de273a15d515.tar.bz2 dotty-de7a5bb049fadaa2078107358e51de273a15d515.zip | |
Harden display logic
Displaying stuff should never report an exception or cause more messages to be displayed that
relate to the displaying.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions