Gratian Plume

Allow let-bound fields in object expressions

5

Currently when we use **object expressions**, the outer mutable variable will be promoted to `Ref`, if multiple variable variables are used, multiple `Ref` will be generated. In fact, most of...

Is it possible to add an operator to the core library that apply a function for each case of the `DU`

13

I have some code like following: ```fsharp type Hero = | AH | GM | NT member inline this.Conver x = match this with | AH -> x &&& 1...

Oddities in statically resolved method constraints and method overloading

13

Case 1 ``` type Test() = member __.Equals (_: Test) = true let inline Equals(a: obj) (b: ^t) = match a with | :? ^t as x -> (^t: (member...

``` type AH = | AH member _.For(x, f) = f x member _.Yield x = x [] member _.foo(x, []y) = let x = y x x, "A" []...

SRTP bug in type inference

7

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...

DefaultAugmentation on DU leads to badly generated type

20

I fell into a pit. exp: Writting a DU in **Liberary1**: ``` [] // focus on it type Bar = | Test1 of int | Test 2 module Bar =...

***I propose we** add support for type erasure of delegates with generic parameters, particularly for `Span` operations, in order to allow performance optimizations similar to non-generic delegates. **The existing way...

Proposal: Allow 'T shorthand for dummy type values in SRTP constraints

1

### Description When using SRTP (statically resolved type parameters) in F#, developers often need to pass a *dummy value* whose only purpose is to fix a type parameter that otherwise...