diff --git a/src/Compiler/Checking/CheckPatterns.fs b/src/Compiler/Checking/CheckPatterns.fs index 0fa2c501652..63a9e74fdd3 100644 --- a/src/Compiler/Checking/CheckPatterns.fs +++ b/src/Compiler/Checking/CheckPatterns.fs @@ -282,14 +282,8 @@ and TcPatAndRecover warnOnUpper cenv (env: TcEnv) valReprInfo (vFlags: TcPatValF /// the second-phase function in terms of a List.map from names to actual /// value specifications. and TcPat warnOnUpper (cenv: cenv) env valReprInfo vFlags (patEnv: TcPatLinearEnv) ty synPat = - let g = cenv.g let ad = env.AccessRights - match synPat with - | SynPat.As (_, SynPat.Named _, _) -> () - | SynPat.As (_, _, m) -> checkLanguageFeatureAndRecover g.langVersion LanguageFeature.NonVariablePatternsToRightOfAsPatterns m - | _ -> () - match synPat with | SynPat.Const (synConst, m) -> TcConstPat warnOnUpper cenv env vFlags patEnv ty synConst m diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index 7a53eae36f3..b984a38695a 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1248,7 +1248,6 @@ invalidFullNameForProvidedType,"invalid full name for provided type" 3087,tcCustomOperationMayNotBeOverloaded,"The custom operation '%s' refers to a method which is overloaded. The implementations of custom operations may not be overloaded." featureExpandedMeasurables,"more types support units of measure" featureRefCellNotationInformationals,"informational messages related to reference cells" -featureNonVariablePatternsToRightOfAsPatterns,"non-variable patterns to the right of 'as' patterns" featureAttributesToRightOfModuleKeyword,"attributes to the right of the 'module' keyword" 3090,tcIfThenElseMayNotBeUsedWithinQueries,"An if/then/else expression may not be used within queries. Consider using either an if/then expression, or use a sequence expression instead." 3091,ilxgenUnexpectedArgumentToMethodHandleOfDuringCodegen,"Invalid argument to 'methodhandleof' during codegen" diff --git a/src/Compiler/Facilities/LanguageFeatures.fs b/src/Compiler/Facilities/LanguageFeatures.fs index f75ea359bde..dc54e2cc140 100644 --- a/src/Compiler/Facilities/LanguageFeatures.fs +++ b/src/Compiler/Facilities/LanguageFeatures.fs @@ -28,7 +28,6 @@ type LanguageFeature = | NullnessChecking | RefCellNotationInformationals | UnionIsPropertiesVisible - | NonVariablePatternsToRightOfAsPatterns | AttributesToRightOfModuleKeyword | ReallyLongLists | ErrorOnDeprecatedRequireQualifiedAccess @@ -137,7 +136,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array) LanguageFeature.ExpandedMeasurables, languageVersion60 LanguageFeature.ResumableStateMachines, languageVersion60 LanguageFeature.RefCellNotationInformationals, languageVersion60 - LanguageFeature.NonVariablePatternsToRightOfAsPatterns, languageVersion60 LanguageFeature.AttributesToRightOfModuleKeyword, languageVersion60 // F# 7.0 @@ -318,7 +316,6 @@ type LanguageVersion(versionText, ?disabledFeaturesArray: LanguageFeature array) | LanguageFeature.ExpandedMeasurables -> FSComp.SR.featureExpandedMeasurables () | LanguageFeature.RefCellNotationInformationals -> FSComp.SR.featureRefCellNotationInformationals () | LanguageFeature.UnionIsPropertiesVisible -> FSComp.SR.featureUnionIsPropertiesVisible () - | LanguageFeature.NonVariablePatternsToRightOfAsPatterns -> FSComp.SR.featureNonVariablePatternsToRightOfAsPatterns () | LanguageFeature.AttributesToRightOfModuleKeyword -> FSComp.SR.featureAttributesToRightOfModuleKeyword () | LanguageFeature.ReallyLongLists -> FSComp.SR.featureReallyLongList () | LanguageFeature.ErrorOnDeprecatedRequireQualifiedAccess -> FSComp.SR.featureErrorOnDeprecatedRequireQualifiedAccess () diff --git a/src/Compiler/Facilities/LanguageFeatures.fsi b/src/Compiler/Facilities/LanguageFeatures.fsi index 80cf2954ebd..0e1187d1c44 100644 --- a/src/Compiler/Facilities/LanguageFeatures.fsi +++ b/src/Compiler/Facilities/LanguageFeatures.fsi @@ -18,7 +18,6 @@ type LanguageFeature = | NullnessChecking | RefCellNotationInformationals | UnionIsPropertiesVisible - | NonVariablePatternsToRightOfAsPatterns | AttributesToRightOfModuleKeyword | ReallyLongLists | ErrorOnDeprecatedRequireQualifiedAccess diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index 9649b05a722..51d4b97a2d5 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -482,11 +482,6 @@ Řetězcové hodnoty označené jako literály a konstanty IL jako formát printf - - non-variable patterns to the right of 'as' patterns - neproměnné vzory napravo od vzorů typu „jako“ - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf index 80c89f42d06..43d1e983899 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -482,11 +482,6 @@ Zeichenfolgenwerte, die als Literale und IL-Konstanten als printf-Format markiert sind - - non-variable patterns to the right of 'as' patterns - Nicht-Variablenmuster rechts neben as-Mustern - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf index 3452a9f4074..bf07b24f3f0 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -482,11 +482,6 @@ Valores de cadena marcados como literales y constantes IL como formato printf - - non-variable patterns to the right of 'as' patterns - patrones no variables a la derecha de los patrones "as" - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf index 1c029f7d57c..c2f761ba0e8 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -482,11 +482,6 @@ Valeurs de chaîne marquées comme littéraux et constantes IL au format printf - - non-variable patterns to the right of 'as' patterns - modèles non variables à droite de modèles « as » - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf index 8006c24faa0..9077befaee2 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -482,11 +482,6 @@ Valori stringa contrassegnati come valori letterali e costanti IL come formato printf - - non-variable patterns to the right of 'as' patterns - modelli non variabili a destra dei modelli 'as' - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf index 5dffc6c4d0a..02be0f73608 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -482,11 +482,6 @@ リテラルとしてマークされた文字列値およびprintf 形式としてマークされた IL 定数 - - non-variable patterns to the right of 'as' patterns - 'as' パターンの右側の非変数パターン - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index 841f583de03..d6bc530b172 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -482,11 +482,6 @@ 리터럴로 표시된 문자열 값과 printf 형식으로 표시된 IL 상수 - - non-variable patterns to the right of 'as' patterns - 'as' 패턴의 오른쪽에 있는 변수가 아닌 패턴 - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index 0696a3f904f..c8574d9f927 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -482,11 +482,6 @@ Wartości ciągów oznaczone jako literały i stałe IL jako format printf - - non-variable patterns to the right of 'as' patterns - stałe wzorce po prawej stronie wzorców typu „as” - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf index 92fc3e6c918..54312e5c030 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -482,11 +482,6 @@ Valores de cadeia de caracteres marcados como literais e constantes IL como formato printf - - non-variable patterns to the right of 'as' patterns - padrões não-variáveis à direita dos padrões 'as'. - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf index e4fefadb0bf..2be50476814 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -482,11 +482,6 @@ Значения строк, помеченные как литералы, и константы IL в формате printf - - non-variable patterns to the right of 'as' patterns - шаблоны без переменных справа от шаблонов "as" - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index fbcca933879..02244b0b8ef 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -482,11 +482,6 @@ Sabit değer olarak işaretlenen dize değerleri ve printf biçimi olarak IL sabitleri - - non-variable patterns to the right of 'as' patterns - 'as' desenlerinin sağındaki değişken olmayan desenler - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf index e38cf4f9d73..59ac98f40a1 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -482,11 +482,6 @@ 标记为文本和 IL 常量的字符串值为 printf 格式 - - non-variable patterns to the right of 'as' patterns - "as" 模式右侧的非变量模式 - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index cafc3b32a6a..062d2ce4f0b 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -482,11 +482,6 @@ 標記為常值的字串值和標記為 printf 格式的 IL 常數 - - non-variable patterns to the right of 'as' patterns - 'as' 模式右邊的非變數模式 - - honor the 'NotNullIfNotNull' attribute on a method's return value honor the 'NotNullIfNotNull' attribute on a method's return value