diff --git a/src/Compiler/Checking/NameResolution.fs b/src/Compiler/Checking/NameResolution.fs index a80bbe04c65..556f3077da9 100644 --- a/src/Compiler/Checking/NameResolution.fs +++ b/src/Compiler/Checking/NameResolution.fs @@ -3265,10 +3265,7 @@ let rec ResolveLongIdentInTypePrim (ncenv: NameResolver) nenv lookupKind (resInf |> fun a -> System.String.Join("\n", a) let message = FSComp.SR.tcMultipleRecdTypeChoice(RichText.mkText candidates, richTextOfEntityRefName tcref resolvedTypeName, RichText.mkText overlappingNames) - if g.langVersion.SupportsFeature(LanguageFeature.WarningWhenMultipleRecdTypeChoice) then - warning(Error(message, m)) - else - informationalWarning(Error(message, m)) + warning(Error(message, m)) | _ -> () FSComp.SR.undefinedNameFieldConstructorOrMemberWhenTypeIsKnown(richTextOfEntityRefName tcref tcref.DisplayNameWithStaticParametersAndUnderscoreTypars, s) | ValueSome tcref -> diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index 1b165d24677..aeae375c16c 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1558,7 +1558,6 @@ featureWitnessPassing,"witness passing for trait constraints in F# quotations" featureErrorOnDeprecatedRequireQualifiedAccess,"give error on deprecated access of construct with RequireQualifiedAccess attribute" featureCSharpExtensionAttributeNotRequired,"Allow implicit Extension attribute on declaring types, modules" featureWarningWhenCopyAndUpdateRecordChangesAllFields,"Raises warnings when an copy-and-update record expression changes all fields of a record." -featureWarningWhenMultipleRecdTypeChoice,"Raises warnings when multiple record type matches were found during name resolution because of overlapping field names." featurePreferExtensionMethodOverPlainProperty,"prefer extension method over plain property" featureWarningIndexedPropertiesGetSetSameType,"Indexed properties getter and setter must have the same type" featureChkTailCallAttrOnNonRec,"Raises warnings if the 'TailCall' attribute is used on non-recursive functions." diff --git a/src/Compiler/Facilities/LanguageFeatures.fs b/src/Compiler/Facilities/LanguageFeatures.fs index b81587bc166..1e35a8fc686 100644 --- a/src/Compiler/Facilities/LanguageFeatures.fs +++ b/src/Compiler/Facilities/LanguageFeatures.fs @@ -26,7 +26,6 @@ type LanguageFeature = | ErrorOnDeprecatedRequireQualifiedAccess | CSharpExtensionAttributeNotRequired | WarningWhenCopyAndUpdateRecordChangesAllFields - | WarningWhenMultipleRecdTypeChoice | UnmanagedConstraintCsharpInterop | ReuseSameFieldsInStructUnions | PreferExtensionMethodOverPlainProperty @@ -125,7 +124,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array) // F# 8.0 LanguageFeature.CSharpExtensionAttributeNotRequired, languageVersion80 LanguageFeature.WarningWhenCopyAndUpdateRecordChangesAllFields, languageVersion80 - LanguageFeature.WarningWhenMultipleRecdTypeChoice, languageVersion80 // F# 9.0 LanguageFeature.NullnessChecking, languageVersion90 @@ -287,7 +285,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array) | LanguageFeature.CSharpExtensionAttributeNotRequired -> FSComp.SR.featureCSharpExtensionAttributeNotRequired () | LanguageFeature.WarningWhenCopyAndUpdateRecordChangesAllFields -> FSComp.SR.featureWarningWhenCopyAndUpdateRecordChangesAllFields () - | LanguageFeature.WarningWhenMultipleRecdTypeChoice -> FSComp.SR.featureWarningWhenMultipleRecdTypeChoice () | LanguageFeature.UnmanagedConstraintCsharpInterop -> FSComp.SR.featureUnmanagedConstraintCsharpInterop () | LanguageFeature.ReuseSameFieldsInStructUnions -> FSComp.SR.featureReuseSameFieldsInStructUnions () | LanguageFeature.PreferExtensionMethodOverPlainProperty -> FSComp.SR.featurePreferExtensionMethodOverPlainProperty () diff --git a/src/Compiler/Facilities/LanguageFeatures.fsi b/src/Compiler/Facilities/LanguageFeatures.fsi index 3d916debab3..c9800aad8c8 100644 --- a/src/Compiler/Facilities/LanguageFeatures.fsi +++ b/src/Compiler/Facilities/LanguageFeatures.fsi @@ -16,7 +16,6 @@ type LanguageFeature = | ErrorOnDeprecatedRequireQualifiedAccess | CSharpExtensionAttributeNotRequired | WarningWhenCopyAndUpdateRecordChangesAllFields - | WarningWhenMultipleRecdTypeChoice | UnmanagedConstraintCsharpInterop | ReuseSameFieldsInStructUnions /// RFC-1137 diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index 31088e5c8ec..1a788fbde27 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -557,11 +557,6 @@ Vyvolá upozornění, když výraz záznamu kopírování a aktualizace změní všechna pole záznamu. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Vyvolá upozornění, pokud bylo během překladu názvů nalezeno více shod typu záznamu z důvodu překrývajících se názvů polí. - - witness passing for trait constraints in F# quotations Předávání kopie clusteru pro omezení vlastností v uvozovkách v jazyce F# diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf index 90c2ed0f2e1..e08a5e45612 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -557,11 +557,6 @@ Löst Warnungen aus, wenn ein Ausdruck zum Kopieren und Aktualisieren von Datensätzen alle Felder eines Datensatzes ändert. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Löst Warnungen aus, wenn bei der Namensauflösung aufgrund überlappender Feldnamen mehrere Datensatztypüberstimmungen gefunden wurden. - - witness passing for trait constraints in F# quotations Zeugenübergabe für Merkmalseinschränkungen in F#-Zitaten diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf index fff6f88b1e7..870885d5aba 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -557,11 +557,6 @@ Emite advertencias cuando una expresión de copiar y actualizar registros cambia todos los campos de un registro. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Genera advertencias cuando se encontraron varias coincidencias de tipo de registro durante la resolución de nombres debido a nombres de campo superpuestos. - - witness passing for trait constraints in F# quotations Paso de testigo para las restricciones de rasgos en las expresiones de código delimitadas de F# diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf index d5241f0d027..10df708d880 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -557,11 +557,6 @@ Génère des avertissements lorsqu'une expression d'enregistrement de copie et de mise à jour modifie tous les champs d'un enregistrement. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Déclenche des avertissements lorsque plusieurs correspondances de types d'enregistrement ont été trouvées lors de la résolution de nom en raison de noms de champs qui se chevauchent. - - witness passing for trait constraints in F# quotations Passage de témoin pour les contraintes de trait dans les quotations F# diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf index 08a9cb62242..e894d13d7c6 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -557,11 +557,6 @@ Genera avvisi quando un'espressione di record di copia e aggiornamento modifica tutti i campi di un record. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Genera avvisi quando sono state trovate più corrispondenze del tipo di record durante la risoluzione dei nomi a causa di nomi di campi sovrapposti. - - witness passing for trait constraints in F# quotations Passaggio del testimone per vincoli di tratto in quotation F# diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf index 3504e4be31d..37fff6275f3 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -557,11 +557,6 @@ copy-and-update レコード式によってレコードのすべてのフィールドが変更されたときに警告を表示します。 - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - フィールド名が重複しているため、名前解決中に複数のレコードの種類の一致が見つかった場合に警告を生成します。 - - witness passing for trait constraints in F# quotations F# 引用での特性制約に対する監視の引き渡し diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index be0535fa683..120ebad06b5 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -557,11 +557,6 @@ 레코드 복사 및 업데이트 식이 레코드의 모든 필드를 변경할 때 경고를 발생합니다. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - 필드 이름이 겹치므로 이름 확인 중에 레코드 유형 일치가 여러 개 발견되면 경고가 발생합니다. - - witness passing for trait constraints in F# quotations F# 인용의 특성 제약 조건에 대한 감시 전달 diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index 968fd35e22a..106a2bf2111 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -557,11 +557,6 @@ Zgłasza ostrzeżenia, gdy wyrażenie rekordu kopiowania i aktualizacji zmieni wszystkie pola rekordu. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Zgłasza ostrzeżenia, gdy znaleziono wiele dopasowań typów rekordów podczas rozpoznawania nazw z powodu nakładających się nazw pól. - - witness passing for trait constraints in F# quotations monitor, który przekazuje ograniczenia cech języka F# diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf index 7af6380f339..95f0eee7674 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -557,11 +557,6 @@ Gera avisos quando uma expressão de registro de cópia e atualização altera todos os campos de um registro. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Gera avisos quando várias correspondências de tipo de registro foram encontradas durante a resolução de nomes devido à sobreposição de nomes de campo. - - witness passing for trait constraints in F# quotations Passagem de testemunha para restrições de característica nas citações do F# diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf index e2d791c3e16..585a51a3e69 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -557,11 +557,6 @@ Создает предупреждения, когда выражение копирования и обновления записи изменяет все поля записи. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Выдает предупреждения, когда при разрешении имен обнаружено несколько совпадений типов записи из-за перекрывающихся имен полей. - - witness passing for trait constraints in F# quotations Передача свидетеля для ограничений признаков в цитированиях F# diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index 3d95a3023ef..648bafb42b5 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -557,11 +557,6 @@ Bir kopyalama ve güncelleştirme kayıt ifadesi bir kaydın tüm alanlarını değiştirdiğinde uyarı oluşturur. - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - Çakışan alan adları nedeniyle, ad çözümlemesi sırasında birden çok kayıt türü eşleşmesi olduğunda uyarı verir. - - witness passing for trait constraints in F# quotations F# alıntılarındaki nitelik kısıtlamaları için tanık geçirme diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf index 02abd3f9497..01d35ea8cc9 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -557,11 +557,6 @@ 复制和更新记录表达式更改记录的所有字段时引发警告。 - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - 在名称解析期间由于字段名称重叠而找到多个记录类型匹配项时引发警告。 - - witness passing for trait constraints in F# quotations F# 引号中特征约束的见证传递 diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index 22f36f05659..408273d4c3d 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -557,11 +557,6 @@ 當複製和更新記錄運算式變更記錄的所有欄位時引發警告。 - - Raises warnings when multiple record type matches were found during name resolution because of overlapping field names. - 在名稱解析期間由於欄位名稱重疊而找到多個記錄類型相符項目時引發警告。 - - witness passing for trait constraints in F# quotations 見證 F# 引號中特徵條件約束的傳遞