Skip to content

FSharpType: add more predefined type checks#19325

Merged
T-Gro merged 10 commits intodotnet:mainfrom
auduchinok:predefinedTypesChecks
Mar 7, 2026
Merged

FSharpType: add more predefined type checks#19325
T-Gro merged 10 commits intodotnet:mainfrom
auduchinok:predefinedTypesChecks

Conversation

@auduchinok
Copy link
Member

Adds more predefined type checks.

@github-actions
Copy link
Contributor

github-actions bot commented Feb 18, 2026

❗ Release notes required

@auduchinok,

Caution

No release notes found for the changed paths (see table below).

Please make sure to add an entry with an informative description of the change as well as link to this pull request, issue and language suggestion if applicable. Release notes for this repository are based on Keep A Changelog format.

The following format is recommended for this repository:

* <Informative description>. ([PR #XXXXX](https://github.com/dotnet/fsharp/pull/XXXXX))

See examples in the files, listed in the table below or in th full documentation at https://fsharp.github.io/fsharp-compiler-docs/release-notes/About.html.

If you believe that release notes are not necessary for this PR, please add NO_RELEASE_NOTES label to the pull request.

You can open this PR in browser to add release notes: open in github.dev

Change path Release notes path Description
src/Compiler docs/release-notes/.FSharp.Compiler.Service/11.0.100.md No release notes found or release notes format is not correct

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Feb 27, 2026
@T-Gro T-Gro enabled auto-merge (squash) February 27, 2026 14:35
@T-Gro T-Gro merged commit 6f1cc37 into dotnet:main Mar 7, 2026
44 of 45 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Mar 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants