diff --git a/src/Compiler/FSComp.txt b/src/Compiler/FSComp.txt index 60e5702d449..7dfd7f10221 100644 --- a/src/Compiler/FSComp.txt +++ b/src/Compiler/FSComp.txt @@ -1384,7 +1384,7 @@ tcAnonRecdFieldNameSubset,"This anonymous record does not have enough fields. Ad tcAnonRecdFieldNameSuperset,"This anonymous record has too many fields. Remove the extra fields %s." tcAnonRecdFieldNameDifferent,"This is the wrong anonymous record. It should have the fields %s." keywordDescriptionAbstract,"Indicates a method that either has no implementation in the type in which it is declared or that is virtual and has a default implementation." -keyworkDescriptionAnd,"Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters." +keywordDescriptionAnd,"Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters." keywordDescriptionAs,"Used to give the current class object an object name. Also used to give a name to a whole pattern within a pattern match." keywordDescriptionAssert,"Used to verify code during debugging." keywordDescriptionBase,"Used as the name of the base class object." @@ -1442,6 +1442,7 @@ keywordDescriptionThen,"Used in conditional expressions. Also used to perform si keywordDescriptionTo,"Used in for loops to indicate a range." keywordDescriptionTry,"Used to introduce a block of code that might generate an exception. Used together with with or finally." keywordDescriptionType,"Used to declare a class, record, structure, discriminated union, enumeration type, unit of measure, or type abbreviation." +keywordDescriptionTypeTest,"Used to check if an object is of the given type in a pattern or binding." keywordDescriptionUpcast,"Used to convert to a type that is higher in the inheritance chain." keywordDescriptionUse,"Used instead of let for values that implement IDisposable" keywordDescriptionUseBang,"Used instead of let! in computation expressions for computation expression results that implement IDisposable." diff --git a/src/Compiler/SyntaxTree/PrettyNaming.fs b/src/Compiler/SyntaxTree/PrettyNaming.fs index 19174d2e782..b4ba20670f8 100755 --- a/src/Compiler/SyntaxTree/PrettyNaming.fs +++ b/src/Compiler/SyntaxTree/PrettyNaming.fs @@ -173,7 +173,7 @@ let IsIdentifierPartCharacter c = let keywordsWithDescription: (string * string) list = [ "abstract", FSComp.SR.keywordDescriptionAbstract () - "and", FSComp.SR.keyworkDescriptionAnd () + "and", FSComp.SR.keywordDescriptionAnd () "as", FSComp.SR.keywordDescriptionAs () "assert", FSComp.SR.keywordDescriptionAssert () "base", FSComp.SR.keywordDescriptionBase () @@ -244,6 +244,7 @@ let keywordsWithDescription: (string * string) list = "->", FSComp.SR.keywordDescriptionRightArrow () "<-", FSComp.SR.keywordDescriptionLeftArrow () ":>", FSComp.SR.keywordDescriptionCast () + ":?", FSComp.SR.keywordDescriptionTypeTest () ":?>", FSComp.SR.keywordDescriptionDynamicCast () "<@", FSComp.SR.keywordDescriptionTypedQuotation () "@>", FSComp.SR.keywordDescriptionTypedQuotation () diff --git a/src/Compiler/xlf/FSComp.txt.cs.xlf b/src/Compiler/xlf/FSComp.txt.cs.xlf index 8052182cecb..0274845f194 100644 --- a/src/Compiler/xlf/FSComp.txt.cs.xlf +++ b/src/Compiler/xlf/FSComp.txt.cs.xlf @@ -357,6 +357,11 @@ Klíčové slovo, které specifikuje konstantní literál jako argument parametru typu v poskytovatelích typů + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated Bajtový řetězec se nedá interpolovat. @@ -7442,7 +7447,7 @@ Označuje metodu, která buď nemá implementaci v typu, ve kterém je deklarovaná, nebo která je virtuální a má výchozí implementaci. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Používá se ve vzájemně rekurzivních vazbách, v deklaracích vlastností a s několika omezeními u generických parametrů. diff --git a/src/Compiler/xlf/FSComp.txt.de.xlf b/src/Compiler/xlf/FSComp.txt.de.xlf index 3d3dc8c2604..d252f75a423 100644 --- a/src/Compiler/xlf/FSComp.txt.de.xlf +++ b/src/Compiler/xlf/FSComp.txt.de.xlf @@ -357,6 +357,11 @@ Schlüsselwort, um ein konstantes Literal als Typparameterargument in Typanbietern anzugeben. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated Eine Bytezeichenfolge darf nicht interpoliert werden. @@ -7442,7 +7447,7 @@ Gibt eine Methode an, die entweder im Typ, in dem sie deklariert wird, über keine Implementierung verfügt oder die virtuell ist und über eine Standardimplementierung verfügt. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Wird in gegenseitig rekursiven Bindungen, in Eigenschaftendeklarationen und bei mehreren Beschränkungen in Bezug auf generische Parameter verwendet. diff --git a/src/Compiler/xlf/FSComp.txt.es.xlf b/src/Compiler/xlf/FSComp.txt.es.xlf index ba19316436e..17871b3624a 100644 --- a/src/Compiler/xlf/FSComp.txt.es.xlf +++ b/src/Compiler/xlf/FSComp.txt.es.xlf @@ -357,6 +357,11 @@ Palabra clave para especificar un literal de constante como argumento de parámetro de tipo en los proveedores de tipo. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated no se puede interpolar una cadena de bytes @@ -7442,7 +7447,7 @@ Indica un método que no tiene ninguna implementación en el tipo en el que se declara o un método que es virtual y tiene una implementación predeterminada. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Se usa en enlaces mutuamente recursivos, en declaraciones de propiedad y con varias restricciones en parámetros genéricos. diff --git a/src/Compiler/xlf/FSComp.txt.fr.xlf b/src/Compiler/xlf/FSComp.txt.fr.xlf index 4ed2c0da2a9..6705cdcb761 100644 --- a/src/Compiler/xlf/FSComp.txt.fr.xlf +++ b/src/Compiler/xlf/FSComp.txt.fr.xlf @@ -357,6 +357,11 @@ Mot clé permettant de spécifier une constante littérale en tant qu'argument de paramètre de type dans les fournisseurs de types. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated une chaîne d'octets ne peut pas être interpolée @@ -7442,7 +7447,7 @@ Indique une méthode qui n'a aucune implémentation dans le type dans lequel elle est déclarée, ou qui est virtuelle avec une implémentation par défaut. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Utilisé dans les liaisons mutuellement récursives, dans les déclarations de propriété et avec plusieurs contraintes sur des paramètres génériques. diff --git a/src/Compiler/xlf/FSComp.txt.it.xlf b/src/Compiler/xlf/FSComp.txt.it.xlf index 01af391840a..26e67bcd381 100644 --- a/src/Compiler/xlf/FSComp.txt.it.xlf +++ b/src/Compiler/xlf/FSComp.txt.it.xlf @@ -357,6 +357,11 @@ Parola chiave per specificare un valore letterale di costante come argomento del parametro di tipo in Provider di tipi. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated non è possibile interpolare una stringa di byte @@ -7442,7 +7447,7 @@ Indica un metodo per il quale non esiste alcuna implementazione nel tipo in cui viene dichiarato oppure che è virtuale e per il quale esiste un'implementazione predefinita. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Usata in binding ricorsivi reciproci, dichiarazioni di proprietà e con più vincoli su parametri generici. diff --git a/src/Compiler/xlf/FSComp.txt.ja.xlf b/src/Compiler/xlf/FSComp.txt.ja.xlf index 54fbab4b514..65af4937797 100644 --- a/src/Compiler/xlf/FSComp.txt.ja.xlf +++ b/src/Compiler/xlf/FSComp.txt.ja.xlf @@ -357,6 +357,11 @@ 定数リテラルを型プロバイダーの型パラメーター引数として指定するキーワード。 + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated バイト文字列は補間されていない可能性があります @@ -7442,7 +7447,7 @@ 宣言された型に実装がないメソッド、または既定の実装がある仮想のメソッドを示します。 - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. 相互に再帰的なバインディング、プロパティの宣言、およびジェネリック パラメーターの複数の制約に使用します。 diff --git a/src/Compiler/xlf/FSComp.txt.ko.xlf b/src/Compiler/xlf/FSComp.txt.ko.xlf index 7ed437b2763..72b63d1aa2e 100644 --- a/src/Compiler/xlf/FSComp.txt.ko.xlf +++ b/src/Compiler/xlf/FSComp.txt.ko.xlf @@ -357,6 +357,11 @@ 상수 리터럴을 형식 공급자의 형식 매개 변수 인수로 지정하는 키워드입니다. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated 바이트 문자열을 보간하지 못할 수 있습니다. @@ -7442,7 +7447,7 @@ 선언된 형식에 구현이 없는 메서드 또는 기본 구현이 있는 가상 메서드를 나타냅니다. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. 상호 재귀적 바인딩과 속성 선언에 사용되며 제네릭 매개 변수의 여러 제약 조건과 함께 사용됩니다. diff --git a/src/Compiler/xlf/FSComp.txt.pl.xlf b/src/Compiler/xlf/FSComp.txt.pl.xlf index 19e01c91485..d9a2fb6441d 100644 --- a/src/Compiler/xlf/FSComp.txt.pl.xlf +++ b/src/Compiler/xlf/FSComp.txt.pl.xlf @@ -357,6 +357,11 @@ Słowo kluczowe na potrzeby określania literału stałej jako argumentu parametru typu w przypadku dostawców typów. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated ciąg bajtowy nie może być interpolowany @@ -7442,7 +7447,7 @@ Wskazuje metodę, która nie ma implementacji w typie, w którym została zadeklarowana, lub jest wirtualna i ma implementację domyślną. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Używane w powiązaniach wzajemnie cyklicznych, deklaracjach właściwości oraz z wieloma ograniczeniami parametrów ogólnych. diff --git a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf index 615e716bd0f..581a7f5fbd2 100644 --- a/src/Compiler/xlf/FSComp.txt.pt-BR.xlf +++ b/src/Compiler/xlf/FSComp.txt.pt-BR.xlf @@ -357,6 +357,11 @@ Palavra-chave para especificar um literal constante como um argumento de parâmetro de tipo nos Provedores de Tipo. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated uma cadeia de caracteres de byte não pode ser interpolada @@ -7442,7 +7447,7 @@ Indica um método que não tem implementação no tipo no qual ele é declarado ou que é virtual e tem uma implementação padrão. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Usado em associações mutualmente recursivas, em declarações de propriedade e em múltiplas restrições em parâmetros genéricos. diff --git a/src/Compiler/xlf/FSComp.txt.ru.xlf b/src/Compiler/xlf/FSComp.txt.ru.xlf index f534378e99f..fd9829a3faa 100644 --- a/src/Compiler/xlf/FSComp.txt.ru.xlf +++ b/src/Compiler/xlf/FSComp.txt.ru.xlf @@ -357,6 +357,11 @@ Ключевое слово для указания константного литерала в качестве аргумента параметра типа в поставщиках типов. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated невозможно выполнить интерполяцию для строки байтов @@ -7442,7 +7447,7 @@ Обозначает метод, который не имеет реализации в типе, в котором он объявлен, или является виртуальным и имеет реализацию по умолчанию. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Используется во взаимно рекурсивных привязках, объявлениях свойств и с несколькими ограничениями для универсальных параметров. diff --git a/src/Compiler/xlf/FSComp.txt.tr.xlf b/src/Compiler/xlf/FSComp.txt.tr.xlf index 70335d09d9d..6e5ab25c917 100644 --- a/src/Compiler/xlf/FSComp.txt.tr.xlf +++ b/src/Compiler/xlf/FSComp.txt.tr.xlf @@ -357,6 +357,11 @@ Tür Sağlayıcılarında tür parametresi bağımsız değişkeni olarak sabit değişmez değeri belirtmek için anahtar sözcük. + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated bir bayt dizesi, düz metin arasına kod eklenerek kullanılamaz @@ -7442,7 +7447,7 @@ İçinde bildirildiği türde hiç uygulaması olmayan veya sanal olup varsayılan uygulaması olan bir metodu belirtir. - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. Karşılıklı yinelemeli bağlamalarda, özellik bildirimlerinde ve genel parametreler üzerinde birden çok kısıtlamayla kullanılır. diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf index 4e7e55a375c..2dcc9052685 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hans.xlf @@ -357,6 +357,11 @@ 用于将常量文本指定为类型提供程序中的类型形参实参的关键字。 + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated 不能内插字节字符串 @@ -7442,7 +7447,7 @@ 表示一种方法，该方法在进行声明的类型中没有任何实现，或该方法为虚拟方法且包含默认实现。 - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. 用于互相递归绑定、属性声明，并用于对泛型参数的多个约束。 diff --git a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf index 965a9c231b6..29accc26a8e 100644 --- a/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf +++ b/src/Compiler/xlf/FSComp.txt.zh-Hant.xlf @@ -357,6 +357,11 @@ 用於在型別提供者中，將常數常值指定為型別參數引數的關鍵字。 + + Used to check if an object is of the given type in a pattern or binding. + Used to check if an object is of the given type in a pattern or binding. + + a byte string may not be interpolated 位元組字串不能是插補字串 @@ -7442,7 +7447,7 @@ 指出方法，此方法可能在其宣告的類型中沒有實作，或者是虛擬方法而具有預設實作。 - + Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. 用於互相遞迴的繫結、屬性宣告，以及搭配泛型參數的多個條件約束。