From 2100898e380457a5a2742f5e2a2442ddb0864586 Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Sun, 22 Jan 2023 13:53:08 +0000 Subject: [PATCH 1/5] Add placeholder for obj inference error message --- src/Compiler/FSComp.txt | 3 ++- src/Compiler/xlf/FSComp.txt.cs.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.de.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.es.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.fr.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.it.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.ja.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.ko.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.pl.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.pt-BR.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.ru.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.tr.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.zh-Hans.xlf | 5 +++++ src/Compiler/xlf/FSComp.txt.zh-Hant.xlf | 5 +++++ tests/FSharp.Test.Utilities/Compiler.fs | 10 +++++----- 15 files changed, 72 insertions(+), 6 deletions(-) diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index 46379fc0eb4..0b01c311585 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1672,4 +1672,5 @@ featureEscapeBracesInFormattableString,"Escapes curly braces before calling Form 3555,chkInstanceLetBindingOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Instance let bindings are not allowed." 3556,chkImplementingInterfacesOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Implementing interfaces is not allowed." 3557,chkAbstractMembersDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Abstract member declarations are not allowed." -3558,chkExplicitFieldsDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Explicit field declarations are not allowed." \ No newline at end of file +3558,chkExplicitFieldsDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Explicit field declarations are not allowed." +3559,typrelNeverRefinedAwayFromTop,"A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\"." diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index be4e61a8fe3..3ce99042f39 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -1137,6 +1137,11 @@ Rozhraní {0} nemůžete implementovat se dvěma instancemi {1} a {2}, protože by se mohly sjednotit. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. Typ {0} nedefinuje pole, konstruktor ani člen {1}. diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf index 5d662b8bf27..33de03828ab 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -1137,6 +1137,11 @@ Sie können die Schnittstelle "{0}" mit den beiden Instanziierungen "{1}" und "{2}" nicht implementieren, weil sie möglicherweise zusammengeführt werden. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. Der Typ "{0}" definiert nicht das Feld, den Konstruktor oder den Member "{1}". diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf index 1ddc22b8475..bf552194b86 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -1137,6 +1137,11 @@ No se puede implementar la interfaz "{0}" con ambas creaciones de instancias, "{1}" y "{2}", porque pueden unificarse. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. El tipo "{0}" no define el campo, constructor o miembro "{1}". diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf index a7b82e51172..0cce3a6b683 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -1137,6 +1137,11 @@ Vous ne pouvez pas implémenter l'interface '{0}' avec les deux instanciations '{1}' et '{2}', car elles peuvent s'unifier. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. Le type '{0}' ne définit pas le champ, le constructeur ou le membre '{1}'. diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf index fcd590c3b39..dfd8263dc26 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -1137,6 +1137,11 @@ Non è possibile implementare l'interfaccia '{0}' con le due creazioni di istanze '{1}' e '{2}' perché possono essere unificate. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. Il tipo '{0}' non definisce il campo, il costruttore o il membro '{1}'. diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf index b064cc8d2b7..85fae76fa4b 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -1137,6 +1137,11 @@ 統合している可能性があるため、'{1}' と '{2}' の 2 つのインスタンス化を含むインターフェイス '{0}' を実装することはできません。 + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. 型 '{0}' は、フィールド、コンストラクター、またはメンバー '{1}' を定義していません。 diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index 41fced8e047..083668b97a7 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -1137,6 +1137,11 @@ '{1}' 및 '{2}' 인스턴스화가 포함된 '{0}' 인터페이스를 구현할 수 없습니다. 이 두 인스턴스화가 통합될 수 있기 때문입니다. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. '{0}' 형식은 '{1}' 필드, 생성자 또는 멤버를 정의하지 않습니다. diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index 764d818dcd4..e9ef281c0dd 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -1137,6 +1137,11 @@ Nie możesz zaimplementować interfejsu „{0}” przy użyciu dwóch wystąpień „{1}” i „{2}”, ponieważ mogą one się ujednolicić. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. Typ „{0}” nie definiuje pola, konstruktora lub składowej „{1}”. diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf index da8982c32ac..caf678c7844 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -1137,6 +1137,11 @@ Não é possível implementar a interface '{0}' com as duas instanciações '{1}' e '{2}' porque talvez elas sejam unificadas. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. O tipo '{0}' não define o campo, o construtor ou o membro '{1}'. diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf index 29827955000..13aeb232d85 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -1137,6 +1137,11 @@ Невозможно реализовать интерфейс "{0}" с двумя созданиями экземпляра "{1}" и "{2}", так как они могут быть объединены. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. Тип "{0}" не определяет поле, конструктор или член "{1}". diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index 3f3bb5dee68..8c5af19ed96 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -1137,6 +1137,11 @@ '{1}' ve '{2}' örnek oluşturmaları birleşebileceğinden '{0}' arabirimini bunlarla birlikte uygulayamazsınız. + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. '{0}' türü; alanı, oluşturucuyu veya '{1}' üyesini tanımlamıyor. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf index 3601169ca3a..82efae8c57b 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -1137,6 +1137,11 @@ 你无法实现具有两个实例化“{1}”和“{2}”的接口“{0}”，因为它们可能会统一。 + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. 类型“{0}”未定义字段、构造函数或成员“{1}”。 diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index b767cad8784..dbdcd39e59a 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -1137,6 +1137,11 @@ 因為 '{1}' 和 '{2}' 兩者的具現化可能整合，所以無法將其用於實作介面 '{0}'。 + + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + + The type '{0}' does not define the field, constructor or member '{1}'. 類型 '{0}' 未定義欄位、建構函式或成員 '{1}'。 diff --git a/tests/FSharp.Test.Utilities/Compiler.fs b/tests/FSharp.Test.Utilities/Compiler.fs index 8ea26ea602b..453d11f487f 100644 --- a/tests/FSharp.Test.Utilities/Compiler.fs +++ b/tests/FSharp.Test.Utilities/Compiler.fs @@ -397,14 +397,14 @@ module rec Compiler = let withLangVersionPreview (cUnit: CompilationUnit) : CompilationUnit = withOptionsHelper [ "--langversion:preview" ] "withLangVersionPreview is only supported on F#" cUnit - + let withLangVersion (version: string) (cUnit: CompilationUnit) : CompilationUnit = withOptionsHelper [ $"--langversion:{version}" ] "withLangVersion is only supported on F#" cUnit let withAssemblyVersion (version:string) (cUnit: CompilationUnit) : CompilationUnit = withOptionsHelper [ $"--version:{version}" ] "withAssemblyVersion is only supported on F#" cUnit - let withWarnOn (cUnit: CompilationUnit) warning : CompilationUnit = + let withWarnOn (warning : int) (cUnit: CompilationUnit) : CompilationUnit = withOptionsHelper [ $"--warnon:{warning}" ] "withWarnOn is only supported for F#" cUnit let withNoWarn warning (cUnit: CompilationUnit) : CompilationUnit = @@ -1088,7 +1088,7 @@ module rec Compiler = failwith $"PDB file does not exists: {pdbPath}" | _ -> failwith "Output path is not set, please make sure compilation was successfull." match result with - | CompilationResult.Success r -> verifyPdbExists r + | CompilationResult.Success r -> verifyPdbExists r | _ -> failwith "Result should be \"Success\" in order to verify PDB." let verifyNoPdb (result: CompilationResult): unit = @@ -1100,7 +1100,7 @@ module rec Compiler = failwith $"PDB file exists: {pdbPath}" | _ -> failwith "Output path is not set, please make sure compilation was successfull." match result with - | CompilationResult.Success r -> verifyPdbNotExists r + | CompilationResult.Success r -> verifyPdbNotExists r | _ -> failwith "Result should be \"Success\" in order to verify PDB." [] @@ -1369,6 +1369,6 @@ module rec Compiler = s.Replace("\r", "").Split('\n') |> Array.map (fun line -> line.TrimEnd()) |> String.concat "\n" - + let printSignatures cUnit = printSignaturesImpl None cUnit let printSignaturesWith pageWidth cUnit = printSignaturesImpl (Some pageWidth) cUnit From 55f10af1698e3e51d259cae61da2ec031b5878ca Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Sun, 22 Jan 2023 13:54:21 +0000 Subject: [PATCH 2/5] Turn off warning by default --- src/Compiler/Driver/CompilerDiagnostics.fs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Compiler/Driver/CompilerDiagnostics.fs b/src/Compiler/Driver/CompilerDiagnostics.fs index 4b78aa9b9f9..c0f373553ec 100644 --- a/src/Compiler/Driver/CompilerDiagnostics.fs +++ b/src/Compiler/Driver/CompilerDiagnostics.fs @@ -380,6 +380,7 @@ type PhasedDiagnostic with | 3389 -> false // tcBuiltInImplicitConversionUsed - off by default | 3390 -> false // xmlDocBadlyFormed - off by default | 3395 -> false // tcImplicitConversionUsedForMethodArg - off by default + | 3559 -> false // typrelNeverRefinedAwayFromTop - off by default | _ -> (severity = FSharpDiagnosticSeverity.Info) || (severity = FSharpDiagnosticSeverity.Warning && level >= x.WarningLevel) From ef394922fbcfbf2b88f399882e9a44649a23e0ed Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Mon, 23 Jan 2023 19:32:28 +0000 Subject: [PATCH 3/5] Make error message less redundant --- src/Compiler/FSComp.txt | 2 +- src/Compiler/xlf/FSComp.txt.cs.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.de.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.es.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.fr.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.it.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ja.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ko.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.pl.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.pt-BR.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ru.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.tr.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.zh-Hans.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.zh-Hant.xlf | 4 ++-- 14 files changed, 27 insertions(+), 27 deletions(-) diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index 0b01c311585..d09b803b2fc 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1673,4 +1673,4 @@ featureEscapeBracesInFormattableString,"Escapes curly braces before calling Form 3556,chkImplementingInterfacesOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Implementing interfaces is not allowed." 3557,chkAbstractMembersDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Abstract member declarations are not allowed." 3558,chkExplicitFieldsDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Explicit field declarations are not allowed." -3559,typrelNeverRefinedAwayFromTop,"A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\"." +3559,typrelNeverRefinedAwayFromTop,"A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`." diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index 3ce99042f39..0fcfad1b0e8 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf index 33de03828ab..ffc7de63720 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf index bf552194b86..ff29964b623 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf index 0cce3a6b683..9a53e0197c2 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf index dfd8263dc26..b8b9e4b44ec 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf index 85fae76fa4b..7aedbac7a54 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index 083668b97a7..8ed1da1edd1 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index e9ef281c0dd..37eee51794e 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf index caf678c7844..1db4467449a 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf index 13aeb232d85..97adf2ddc02 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index 8c5af19ed96..8e0bc3f84c3 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf index 82efae8c57b..06ab5e9a34d 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index dbdcd39e59a..c97efaff603 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations. This warning is off by default and has been explicitly enabled for this project. You may suppress this warning by using #nowarn \"3559\". + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. From b29932a793a28761449a1ca16a1f17be65219ab7 Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Thu, 26 Jan 2023 23:11:53 +0000 Subject: [PATCH 4/5] Update error message again --- src/Compiler/FSComp.txt | 2 +- src/Compiler/xlf/FSComp.txt.cs.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.de.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.es.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.fr.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.it.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ja.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ko.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.pl.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.pt-BR.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ru.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.tr.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.zh-Hans.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.zh-Hant.xlf | 4 ++-- 14 files changed, 27 insertions(+), 27 deletions(-) diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index d09b803b2fc..a388ba68db3 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1673,4 +1673,4 @@ featureEscapeBracesInFormattableString,"Escapes curly braces before calling Form 3556,chkImplementingInterfacesOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Implementing interfaces is not allowed." 3557,chkAbstractMembersDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Abstract member declarations are not allowed." 3558,chkExplicitFieldsDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Explicit field declarations are not allowed." -3559,typrelNeverRefinedAwayFromTop,"A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`." +3559,typrelNeverRefinedAwayFromTop,"A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`." diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index 0fcfad1b0e8..8c1422c7a2e 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf index ffc7de63720..d9e58384204 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf index ff29964b623..26dae1e8a83 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf index 9a53e0197c2..1b488730823 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf index b8b9e4b44ec..3c94d6c30b4 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf index 7aedbac7a54..c8a2d6fb876 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index 8ed1da1edd1..246f3793163 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index 37eee51794e..722a7bc1104 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf index 1db4467449a..9d22f8eca19 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf index 97adf2ddc02..dc1f492edd5 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index 8e0bc3f84c3..9558869e096 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf index 06ab5e9a34d..2076f643c2a 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index c97efaff603..5a092a5563a 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -1138,8 +1138,8 @@ - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type inference variable has been implicitly inferred to have type `obj`. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. From 8f07657540b188b59999cd77881033d84e69ade8 Mon Sep 17 00:00:00 2001 From: Smaug123 Date: Mon, 30 Jan 2023 19:25:57 +0000 Subject: [PATCH 5/5] Markup --- src/Compiler/FSComp.txt | 2 +- src/Compiler/xlf/FSComp.txt.cs.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.de.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.es.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.fr.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.it.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ja.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ko.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.pl.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.pt-BR.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.ru.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.tr.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.zh-Hans.xlf | 4 ++-- src/Compiler/xlf/FSComp.txt.zh-Hant.xlf | 4 ++-- 14 files changed, 27 insertions(+), 27 deletions(-) diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index a388ba68db3..74ce7297465 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1673,4 +1673,4 @@ featureEscapeBracesInFormattableString,"Escapes curly braces before calling Form 3556,chkImplementingInterfacesOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Implementing interfaces is not allowed." 3557,chkAbstractMembersDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Abstract member declarations are not allowed." 3558,chkExplicitFieldsDeclarationsOnStaticClasses,"If a type uses both [] and [] attributes, it means it is static. Explicit field declarations are not allowed." -3559,typrelNeverRefinedAwayFromTop,"A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`." +3559,typrelNeverRefinedAwayFromTop,"A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'." diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index 8c1422c7a2e..5b2ca185d73 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf index d9e58384204..7c92c3dd3fe 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf index 26dae1e8a83..d64f40279b0 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf index 1b488730823..ffb0620e883 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf index 3c94d6c30b4..035dc847ee4 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf index c8a2d6fb876..dc36b5670a7 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index 246f3793163..01841f6fc2a 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index 722a7bc1104..13a6e4ef9bf 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf index 9d22f8eca19..1a0bb4f0fbd 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf index dc1f492edd5..eaa6ee4ad89 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index 9558869e096..e1e62fd7d74 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf index 2076f643c2a..514a0ffe74f 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index 5a092a5563a..c724422d975 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -1138,8 +1138,8 @@ - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. - A type has been implicitly inferred as `obj`, which may be unintended. Consider adding explicit type annotations, disabling the warning, or suppressing it locally with `#nowarn \"3559\"`. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'. + A type has been implicitly inferred as 'obj', which may be unintended. Consider adding explicit type annotations. You can disable this warning by using '#nowarn \"3559\"' or '--nowarn:3559'.