Ch13

Unexpected warning '[FS3511] This state machine is not statically compilable'

14

We have a number of problems where tasks are not being statically compiled. * One is below. * Another is https://github.com/dotnet/fsharp/issues/13657 * For top-level tasks, see https://github.com/dotnet/fsharp/issues/12038 See also https://github.com/demetrixbio/Plough.WebApi/pull/5...

Attribute defined on second method of property is ignored

1

F# allows to declare get and set parts of property separately and in any order, like so ```fsharp member _.A with get () = internalValue member _.A with set (value)...

Tooltip in IDE suggests wrong type of parameter or even multiple types

2

**Repro steps** ```fsharp type U1 = { Name: string } type U2 = { Age: int; Name: string } let test = seq string> { fun u -> u.Name }...

Similar to https://github.com/dotnet/fsharp/issues/15696 but for second type qualifier. **Repro steps** ```fsharp module Say = type Person = { Id: int64 Info: PersonInfo } and PersonInfo = { FirstName: string LastName:...

Nullness - Consider supporting Nullable shorthand for TreatWarningsAsErrors

3

**Is your feature request related to a problem? Please describe.** In C# it's possible to convert all nullable-related warnings to errors using `nullable`. From [docs](https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/compiler-options/errors-warnings#treatwarningsaserrors): ` The set of all...