From d4a5097b1e7063948fcd380fe87bd2e21a03ff05 Mon Sep 17 00:00:00 2001 From: Hadrian Tang Date: Fri, 1 Aug 2025 17:21:24 +0800 Subject: [PATCH 1/2] `with` is also used in properties --- docs/fsharp/language-reference/keyword-reference.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/fsharp/language-reference/keyword-reference.md b/docs/fsharp/language-reference/keyword-reference.md index 80f37a081d69e..b1039f847dfa9 100644 --- a/docs/fsharp/language-reference/keyword-reference.md +++ b/docs/fsharp/language-reference/keyword-reference.md @@ -156,7 +156,7 @@ The following table shows all F# keywords in alphabetical order, together with b |`void`|[Primitive Types](basic-types.md)|Indicates the .NET `void` type. Used when interoperating with other .NET languages.| |`when`|[Constraints](./generics/constraints.md)|Used for Boolean conditions (*when guards*) on pattern matches and to introduce a constraint clause for a generic type parameter.| |`while`|[Loops: `while...do` Expression](loops-while-do-expression.md)|Introduces a looping construct.| -|`with`|[Match Expressions](match-expressions.md)

[Object Expressions](object-expressions.md)

[Copy and Update Record Expressions](copy-and-update-record-expressions.md)

[Type Extensions](type-extensions.md)

[Exceptions: The `try...with` Expression](./exception-handling/the-try-with-expression.md)|Used together with the `match` keyword in pattern matching expressions. Also used in object expressions, record copying expressions, and type extensions to introduce member definitions, and to introduce exception handlers.| +|`with`|[Match Expressions](match-expressions.md)

[Object Expressions](object-expressions.md)

[Copy and Update Record Expressions](copy-and-update-record-expressions.md)

[Type Extensions](type-extensions.md)

[Exceptions: The `try...with` Expression](./exception-handling/the-try-with-expression.md)

[Properties](./members/properties.md)|Used together with the `match` keyword in pattern matching expressions. Also used in object expressions, record copying expressions, type extensions to introduce member definitions, exception handlers, and declarations of properties with explicit getters and setters.| |`yield`|[Lists](lists.md), [Arrays](arrays.md), [Sequences](sequences.md)|Used in a list, array, or sequence expression to produce a value for a sequence. Typically can be omitted, as it is implicit in most situations.| |`yield!`|[Computation Expressions](computation-expressions.md)

[Async expressions](async-expressions.md)

[Task expressions](task-expressions.md)|Used in a computation expression to append the result of a given computation expression to a collection of results for the containing computation expression.| |`const`|[Type Providers](../tutorials/type-providers/index.md)| Type Providers allow the use of `const` as a keyword to specify a constant literal as a type parameter argument.| From c6dcfb8f72dfad17f0d947450423219c44b6b017 Mon Sep 17 00:00:00 2001 From: Hadrian Tang Date: Fri, 1 Aug 2025 17:34:34 +0800 Subject: [PATCH 2/2] Interface with --- docs/fsharp/language-reference/keyword-reference.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/fsharp/language-reference/keyword-reference.md b/docs/fsharp/language-reference/keyword-reference.md index b1039f847dfa9..5713ea57739fd 100644 --- a/docs/fsharp/language-reference/keyword-reference.md +++ b/docs/fsharp/language-reference/keyword-reference.md @@ -156,7 +156,7 @@ The following table shows all F# keywords in alphabetical order, together with b |`void`|[Primitive Types](basic-types.md)|Indicates the .NET `void` type. Used when interoperating with other .NET languages.| |`when`|[Constraints](./generics/constraints.md)|Used for Boolean conditions (*when guards*) on pattern matches and to introduce a constraint clause for a generic type parameter.| |`while`|[Loops: `while...do` Expression](loops-while-do-expression.md)|Introduces a looping construct.| -|`with`|[Match Expressions](match-expressions.md)

[Object Expressions](object-expressions.md)

[Copy and Update Record Expressions](copy-and-update-record-expressions.md)

[Type Extensions](type-extensions.md)

[Exceptions: The `try...with` Expression](./exception-handling/the-try-with-expression.md)

[Properties](./members/properties.md)|Used together with the `match` keyword in pattern matching expressions. Also used in object expressions, record copying expressions, type extensions to introduce member definitions, exception handlers, and declarations of properties with explicit getters and setters.| +|`with`|[Match Expressions](match-expressions.md)

[Object Expressions](object-expressions.md)

[Copy and Update Record Expressions](copy-and-update-record-expressions.md)

[Type Extensions](type-extensions.md)

[Exceptions: The `try...with` Expression](./exception-handling/the-try-with-expression.md)

[Interfaces](interfaces.md)

[Properties](./members/properties.md)|Used together with the `match` keyword in pattern matching expressions. Also used in object expressions, record copying expressions, type extensions to introduce member definitions, exception handlers, interface implementations, and declarations of properties with explicit getters and setters.| |`yield`|[Lists](lists.md), [Arrays](arrays.md), [Sequences](sequences.md)|Used in a list, array, or sequence expression to produce a value for a sequence. Typically can be omitted, as it is implicit in most situations.| |`yield!`|[Computation Expressions](computation-expressions.md)

[Async expressions](async-expressions.md)

[Task expressions](task-expressions.md)|Used in a computation expression to append the result of a given computation expression to a collection of results for the containing computation expression.| |`const`|[Type Providers](../tutorials/type-providers/index.md)| Type Providers allow the use of `const` as a keyword to specify a constant literal as a type parameter argument.|