Remy Willems

I understand that in the Scala case, you have multiple components that play a language server role, both the language servers themselves (Metals & Dotty), but possibly also the IDE's....

@olafurpg > By having client/server communication between build tools and IDEs we can enable powerful features what are harder to implement with only static configuration files. I get the impression...

> I have trouble understanding the code architecture after this change. Before I believe the code followed SRP very well: InMemoryFileSystem was the synchronous store that TS would talk to....

This issue is resolved by [this PR](https://github.com/sourcegraph/javascript-typescript-langserver/pull/472). However I would recommend using [the TypeFox LSP server](https://github.com/theia-ide/typescript-language-server/) since it's made for IDE usage and has a much simpler architecture.

Does that hack even work though? Most of this LSP server ignores what you put in the excludes.

Here an example: http://keyboarddrummer.github.io/tablesorter/docs/example-tree-table.html

So where's the code for version 3? Is that the development branch? I could also apply my commits based off of your development branch. On Sun, Nov 17, 2013 at...

The documentation seems to indicate this should work, although I'm not used to this syntax either: We could check with @RustanLeino to see whether he intends to keep the semantics...

https://github.com/dafny-lang/dafny/actions/runs/9086218954/job/24971402176?pr=5419

https://github.com/dafny-lang/dafny/actions/runs/9092347847/job/24988886686?pr=5437