diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2016-07-17 15:09:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-17 15:09:09 +0200 |
| commit | 9da40cb84d613bcea3a0e0890b2e53129fe60bc6 (patch) | |
| tree | 52ca08ba47ed605ffbfcc770d70d749880b84ca2 /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | dfa32801f5b2c774a8c792353c1bf1d1781a4a0e (diff) | |
| parent | f359953e0437c0b9b2205bf30c53c6206c6c0249 (diff) | |
| download | dotty-9da40cb84d613bcea3a0e0890b2e53129fe60bc6.tar.gz dotty-9da40cb84d613bcea3a0e0890b2e53129fe60bc6.tar.bz2 dotty-9da40cb84d613bcea3a0e0890b2e53129fe60bc6.zip | |
Merge pull request #1345 from dotty-staging/improve-Xprint
Improve Xprint
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index 6a5791b8e..30e4be1d5 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -85,6 +85,7 @@ class ScalaSettings extends Settings.SettingGroup { val writeICode = PhasesSetting("-Xprint-icode", "Log internal icode to *.icode files after", "icode") val Xprintpos = BooleanSetting("-Xprint-pos", "Print tree positions, as offsets.") val printtypes = BooleanSetting("-Xprint-types", "Print tree types (debugging option).") + val XprintDiffDel = BooleanSetting("-Xprint-diff-del", "Print deleted parts of the tree since last print.") val prompt = BooleanSetting("-Xprompt", "Display a prompt after each error (debugging option).") val script = StringSetting("-Xscript", "object", "Treat the source file as a script and wrap it in a main method.", "") val mainClass = StringSetting("-Xmain-class", "path", "Class for manifest's Main-Class entry (only useful with -d <jar>)", "") |