diff options
| author | odersky <odersky@gmail.com> | 2015-10-31 08:58:46 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-10-31 08:58:46 +0100 |
| commit | ac347485e94061d548bebc794ee133bb1b248a48 (patch) | |
| tree | 42d5236176006cf7498f00804e56de71c2b71a62 /src/dotty/tools/dotc/Run.scala | |
| parent | edfb6e72076b216c4762b52a5b9558fd9d106148 (diff) | |
| parent | 4cda3ff723ea0de7f0f61fd2db922c3e5a9b4d9a (diff) | |
| download | dotty-ac347485e94061d548bebc794ee133bb1b248a48.tar.gz dotty-ac347485e94061d548bebc794ee133bb1b248a48.tar.bz2 dotty-ac347485e94061d548bebc794ee133bb1b248a48.zip | |
Merge pull request #892 from dotty-staging/fix-typeparam-names
Avoid printing expanded names when displaying type parameters.
Diffstat (limited to 'src/dotty/tools/dotc/Run.scala')
0 files changed, 0 insertions, 0 deletions