Skip to content

Commit 504693f

Browse files
committed
Fix PrefixSetting
1 parent 8bc0df6 commit 504693f

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

compiler/src/dotty/tools/dotc/config/Settings.scala

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -411,7 +411,8 @@ object Settings:
411411
def PhasesSetting(category: SettingCategory, name: String, descr: String, default: String = "", aliases: List[String] = Nil, deprecation: Option[Deprecation] = None): Setting[List[String]] =
412412
publish(Setting(category, prependName(name), descr, if (default.isEmpty) Nil else List(default), aliases = aliases, deprecation = deprecation))
413413

414-
def PrefixSetting(category: SettingCategory, name: String, descr: String, deprecation: Option[Deprecation] = None): Setting[List[String]] =
414+
def PrefixSetting(category: SettingCategory, name0: String, descr: String, deprecation: Option[Deprecation] = None): Setting[List[String]] =
415+
val name = prependName(name0)
415416
val prefix = name.takeWhile(_ != '<')
416417
publish(Setting(category, "-" + name, descr, Nil, prefix = Some(prefix), deprecation = deprecation))
417418

0 commit comments

Comments
 (0)