dotnet / dotnet/fsharp

Nullness issue - compilation broken by FS0001 when enabling nullness checks

Open
#18,034 5 comments 0 reactions 0 assignees View on GitHub
Area-Nullness Bug Triage-Investigate
Dominant language
F#
Stars
4.3k
Forks
876
Avg merge
4d 22h
Merged PRs (30d)
144

Description

### Issue description

A specific scenario is broken by enabling nullness checking, manifesting as `FS0001`.

### Choose one or more from the following categories of impact

- [ ] Unexpected nullness warning (false positive in nullness checking, code uses --checknulls and langversion:preview).
- [ ] Missing nullness warning in a case which can produce nulls (false negative, code uses --checknulls and langversion:preview).
- [ ] Breaking change related to older `null` constructs in code not using the checknulls switch.
- [ ] Breaking change related to generic code and explicit type constraints (`null`, `not null`).
- [ ] Type inference issue (i.e. code worked without type annotations before, and applying the --checknulls enforces type annotations).
- [ ] C#/F# interop issue related to nullness metadata.
- [x] Other (none of the categories above apply).

### Operating System

Windows (Default)

### What .NET runtime/SDK kind are you seeing the issue on

.NET SDK (.NET Core, .NET 5+)

### .NET Runtime/SDK version

.NET 9

### Reproducible code snippet and actual behavior

```xml


Exe
net9.0
enable





```

```fsharp
open FSharpPlus

let parseInt () : Result =
Ok 42

type SomeRecordWrapper = {
Value: int
}

let repro () =
let result =
monad {
let! parsed = parseInt ()
return {
Value = parsed
}
}

match result with
| Ok _ ->
()
| Error _ ->
()
```

With `Nullable` enabled, this results in:

```
0>Program.fs(20,7): Error FS0001 : '.Delay' does not support the type 'Result', because the latter lacks the required (real or built-in) member 'Delay'
0>Program.fs(19,11): Warning FS0025 : Incomplete pattern matches on this expression.
```

With `Nullable` disabled, the code compiles fine.

### Possible workarounds

None that I know of.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.