diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-03-04 12:23:10 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-03-12 16:08:36 +0100 |
| commit | 12d895587444d5d59e7d75dfaf7b85deb61e99e0 (patch) | |
| tree | e8f880f79911366d448ff6cc6cdb82fdd846ac6a /src/dotty/tools/dotc/config | |
| parent | c1e263bebf7e73239e7faa3e48d75a0a7df45d76 (diff) | |
| download | dotty-12d895587444d5d59e7d75dfaf7b85deb61e99e0.tar.gz dotty-12d895587444d5d59e7d75dfaf7b85deb61e99e0.tar.bz2 dotty-12d895587444d5d59e7d75dfaf7b85deb61e99e0.zip | |
Better encapsulation
No more leaking ofMove PatchedFiles in a settings option. Move all
patch classes into a `Rewrites` object.
Diffstat (limited to 'src/dotty/tools/dotc/config')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index cdbf6ec50..a10165be2 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -2,7 +2,7 @@ package dotty.tools.dotc package config import PathResolver.Defaults -import rewrite.Patches +import rewrite.Rewrites class ScalaSettings extends Settings.SettingGroup { @@ -50,7 +50,7 @@ class ScalaSettings extends Settings.SettingGroup { val d = StringSetting("-d", "directory|jar", "destination for generated classfiles.", ".") val nospecialization = BooleanSetting("-no-specialization", "Ignore @specialize annotations.") val language = MultiStringSetting("-language", "feature", "Enable one or more language features.") - val rewrite = OptionSetting[Patches.PatchedFiles]("-rewrite", "When used in conjunction with -language:Scala2 rewrites sources to migrate to new syntax") + val rewrite = OptionSetting[Rewrites]("-rewrite", "When used in conjunction with -language:Scala2 rewrites sources to migrate to new syntax") /** -X "Advanced" settings */ |