Petr Pokorny
Petr Pokorny
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) =...
After creating a new project from the template (v3.1.1) and starting it up, communication between client and server doesn't work. In the console I see: ``` client: [HPM] Error occurred...
Links on [docs homepage](https://fsharp.github.io/fsharp-compiler-docs/) under **Documentation Topics** are broken. They point to e.g. - `https://fsharp.github.io/fsharp-compiler-docs/overview.md` instead of just - `https://fsharp.github.io/fsharp-compiler-docs/overview` It should _probably_ be fixed in https://github.com/fsprojects/FSharp.Formatting but we could...
## Description Fixes #16708 I don't know what originally caused this, but here's a proposed fix. We move the playback of _background diagnostics_ to after we do a type check,...
Use ProjectQuery API to construct initial state + subscribe for updates. Use incoming documentOpen / Closed / Changed notifications to keep track of solution state. Try to build this on...
Choose which library we'll use to power F# LSP server. The main contenders are Ionide LSP and Roslyn CLaSP.
Areas to cover: - LSP layer (+ protocol version) - Project system plugabillity (CPS for VS and proj-info for VSCode) - Integration with ionide (package publishing) - LSIF support -...
Contact [VS.Extensibility](https://github.com/microsoft/VSExtensibility) team and talk to them about whether VS.Extensibility is a good choice for our purposes (in its current state). And if not then what would be a good...
This is a design document for F# LSP. It's not exhaustive and definitely not final, but should be good to kick start discussions about the topic and base some initial...