fsharp
fsharp copied to clipboard
dotnet
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
This is an automatically generated pull request from release/dev17.3 into main. Once all conflicts are resolved and all the tests pass, you are free to merge the pull request. 🐯...
**Repro steps** Defining a private type in a namespace and using it in a module in another file in the same namespace leads to a compilation error in 6.0.400. Compiles...
This PR is split into a few parts: 1. Tests, some fail because of #12994 while another test fails expecting a ctor call while getting op_Implicit due to the code...
We have a bunch of modules that are so big that they cause code editors to hang. The champions are probably in the compiler project, for example CheckExpressions (>10,000 LOC)...
This implements [RFC FS-1079 - Make .Is* discriminated union properties visible from F#](https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1079-union-properties-visible.md). I'd love feedback on a couple details: 1. I added the union augmentation stuff into `AugmentWithHashCompare` so...
Given the following examples I can't quite figure out what the compiler is doing here. ```fs type InnerRecord = { Id: int } [] type StructRecord = { Value: obj...
Right now implicit type conversion happens only one-step (like `int-> float` or `float -> Nullable`), but when we try to do two-step conversion (e.g. `int -> Nullable`) there is no...
The F# compiler adds compile time metadata and optimization data to built assemblies. This option adds two new compiler switches which control the production of this data, and adds compression...
Not very important/common use case, but still creating an issue to keep track of it. Code examples ([link to tests](https://github.com/dotnet/fsharp/blob/0973fd35f8e5dbe593c5ed9ac6bfa9610288611c/tests/FSharp.Compiler.ComponentTests/Conformance/TypesAndTypeConstraints/IWSAMsAndSRTPs/IWSAMsAndSRTPsTests.fs#L490-L520)): ```fsharp type C5() = static member X(p: C5 byref) =...
