fsharp
fsharp copied to clipboard
dotnet
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Consider a project consisting of two files: ```fsharp module AbstractBaseClass.File1 a ``` ```fsharp module AbstractBaseClass.File2 type AbstractBaseClass() = abstract P: int ``` There's an error expected for the type declaration:...
Using the Transparent Compiler in FCS produces different diagnostics for the Fantomas solution. **Repro steps** Run the below script that checks out and runs the `fsharp_scripts` tool: ```powershell git clone...
**Repro steps** ```fsharp type C() = member val Name = "" with get, set let x = C(Name="123") //works let y = C(Name=$"123") // doesn't work let z = C(Name=...
Compile this code: ```fsharp open System [] type MethodOnlyAttribute() = inherit System.Attribute() [] let abc () = "abc" [] let def = "def" ``` **Expected behavior** Compilation should fail because...
It looks like any call to `NodeCode.AwaitAsync` (there are many in Transparent Compiler) is at risk of getting wrong threadstatics? I've seen some randomness of that kind in #16701. Mostly...
This is an automatically generated pull request from main into lsp. Once all conflicts are resolved and all the tests pass, you are free to merge the pull request. 🐯...
## Description A companion to dotnet/msbuild#9743 to ensure that more sourcelink/determinism-related flags correctly cause the compiler to be invoked when they change. This causes the compile to be invoked in...
Co-created with @dsyme. This will be likely updated, but can already go in as this will be referenced in PRs.
This supersedes or follows up on #16602 Introduction of Transparent Compiler revealed some instability w.r.t. `DiagnosticsThreadStatics`: https://github.com/dotnet/fsharp/pull/16576#issuecomment-1910321553 #16576 #16589 Turns out we used `[]` to keep a compilation-global `DiagnosticsLogger`, and...
Writing exhaustive pattern matches is a powerful way to prevent unintended bugs at runtime. However due to the verbosity and repetitiveness these are often grouped. However when grouped, the exhaustiveness...
