diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2017-03-12 20:16:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-12 20:16:44 +0100 |
| commit | e5e2f826b2db7a124d7f59647047d3e0bec5f4ab (patch) | |
| tree | 7259a6318c60186cdf682cad696f64c85edbbbea /compiler/src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 4f15021847313c6d264e1bfad404f86f67912870 (diff) | |
| parent | f483e394598f929df19bdd023dc5388ffb18b4e0 (diff) | |
| download | dotty-e5e2f826b2db7a124d7f59647047d3e0bec5f4ab.tar.gz dotty-e5e2f826b2db7a124d7f59647047d3e0bec5f4ab.tar.bz2 dotty-e5e2f826b2db7a124d7f59647047d3e0bec5f4ab.zip | |
Merge pull request #2083 from dotty-staging/fix/plainprinter-pos
-Yplain-printer: do not print positions by default
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Typer.scala')
0 files changed, 0 insertions, 0 deletions