fsharp icon indicating copy to clipboard operation
fsharp copied to clipboard

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Results 768 fsharp issues
Sort by recently updated
recently updated
newest added

With recent changes the `Method` name below is tagged as `Member` and not as `Method` in a tooltip: ```fsharp type T() = member x.Method() = () ``` Presumably it's a...

Bug
Impact-Low
Area-FCS

I think it's serious: ``` type Ah = static member plus (a: Ah, b: Ah) = "Ah" type TestPlus = static member plus(a: int, b: int) = a + b...

Bug
Impact-Low
Area-Compiler-SRTP

Please provide a succinct description of the issue. Doesn't work when parameter is a tuple: ``` fsharp let receivesTuple thisIsAVeryImportantTupleName = let (a, b) = thisIsAVeryImportantTupleName a + b ```...

Bug
Impact-Low
Area-FCS

@brettfo says "I'm surprised our build doesn't fail"

Bug
Impact-Low
Area-SetupAndDelivery

I'm creating this issue to track all occurrences of this error for which there is already a fix in the feature/ext branch. This error is a longstanding one and it's...

Bug
Impact-Medium
Area-Compiler-SRTP

**Description** It seems that when a member is shadowing an inherited member with a different return type, the return type is not considered to avoid any ambiguity when the compiler...

Bug
Impact-Low
Area-Compiler-SRTP

This code generates a bogus warning on the line marked `// here` ```fsharp type FreeNode = Pure of 't | Roll of obj let inline unroll (f: FreeNode) : 'b...

Bug
Impact-Low
Area-Compiler-PatternMatching

**Repro steps** Write the following F# program, and run it: ```fsharp let inline toString (x: ^a) = (^a : (member ToString : unit -> string) x) [] let main argv...

Bug
Impact-Medium
Area-Compiler-SRTP

I will demonstrate a short piece of code, using SRTPs and overload resolution, where the compilation will either succeed or fail, depending on the runtime execution path. **Repro steps** let...

Bug
Impact-Medium
Area-Compiler-SRTP

When attempting to create a discriminated union with a generic type annotation whose cases are types of other generic discriminated unions, the following `error FS0073: internal error: Undefined or unsolved...

Bug
Impact-Medium
Area-Compiler-SRTP