Gauthier Segay

@kerams, I think this would lean very well for errors even without code fixes, if we had a canonical script file showcasing the error, with additional "literate" contents which can...

@dsyme > over-abstraction of code in the name of "maximal sharing" or simulating category theory I can share the feeling, but at the same time, the type of code you...

> Could you show some callsites? I presume they need type annotations, e.g. Right, it looks like this ```fsharp let command : MyCommandType = CreateCommand createCommand ``` > But how...

> if so, should we rename that module because it no longer deals just with HashCompare? Looking at the history, and given that those refactorings have a risk to break...

@chkn / @cartermp could you setup the discussion thread for the RFC? @chkn, this PR is good place to discuss the implementation details but we need the space to discuss...

> My feeling is that we are already paying the metadata price for these members in IL, so we should be able to access them. could you clarify what you...

@edgarfgp thanks for looking into this! Would you mind adding "negtests" similar to those defined in this file https://github.com/dotnet/fsharp/blob/4be3bb5760e87ac522cd449c317016323f415467/tests/fsharp/tests.fs#L3374-L3405 Those test make sure the type checker error match desired output...

@dsyme, in some of the code, it looks like `| null` turned into a new `| Null `. Is there some background information on how they are identical? and is...

@WhiteBlackGoose hi! anything related to packaging F* for usage in .net & F# environment is really interesting. I wanted to point at those issues, in case you haven't dug into...

I don't know how things are shifting with this repository tooling outside of OCaml toolchain, and latest F# versions deprecates stuff that implies there will be changes to occur here,...