Skip to content

Commit 923dbe1

Browse files
authored
Fix description of -Yno-kind-polymorphism
As the flag indicates with the `no-` and the docs (https://dotty.epfl.ch/docs/reference/other-new-features/kind-polymorphism.html) say, the compiler flag disables kind polymorphism, not enables it.
1 parent df0bb24 commit 923dbe1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -164,7 +164,7 @@ class ScalaSettings extends Settings.SettingGroup {
164164
//.withPostSetHook( _ => YprofileEnabled.value = true )
165165

166166
// Extremely experimental language features
167-
val YnoKindPolymorphism: Setting[Boolean] = BooleanSetting("-Yno-kind-polymorphism", "Enable kind polymorphism (see https://dotty.epfl.ch/docs/reference/kind-polymorphism.html). Potentially unsound.")
167+
val YnoKindPolymorphism: Setting[Boolean] = BooleanSetting("-Yno-kind-polymorphism", "Disable kind polymorphism (see https://dotty.epfl.ch/docs/reference/kind-polymorphism.html). Potentially unsound.")
168168
val YexplicitNulls: Setting[Boolean] = BooleanSetting("-Yexplicit-nulls", "Make reference types non-nullable. Nullable types can be expressed with unions: e.g. String|Null.")
169169
val YerasedTerms: Setting[Boolean] = BooleanSetting("-Yerased-terms", "Allows the use of erased terms.")
170170
val YcheckInit: Setting[Boolean] = BooleanSetting("-Ycheck-init", "Check initialization of objects")

0 commit comments

Comments
 (0)