<div dir="ltr"><div dir="ltr"><div dir="ltr">On Wed, Jan 16, 2019 at 7:44 PM Jan Korous <<a href="mailto:jkorous@apple.com">jkorous@apple.com</a>> wrote:<br></div><div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Our intended use-case is clangd talking to the recently announced SourceKit-LSP service:<br><a href="https://github.com/apple/sourcekit-lsp">https://github.com/apple/sourcekit-lsp</a><br>I haven’t really thought about details yet (including how to approach testing) but I assume we’ll have some integration tests in SourceKit-LSP. But it makes sense to test (at least manually) with some editor client too.</blockquote><div>Understood - I think a lot of the decisions about details will depend on how this feels in practice in an editor (latency, signal-vs-noise) so I think we'll need it connected to a real editor to really understand. I guess there's a prototype of XCode that can use this, but the rest of us need to find something to try it out on too :-)</div></div><div dir="ltr"><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;"><span>No, it’s really the server who’s responsible for ignoring these. I guess it makes sense since client can’t just decide to not send 'textDocument/didChange’ to server as they would get out of sync.<br></span><div><a href="https://github.com/Microsoft/vscode-languageserver-node/pull/367/files#diff-0253ecfa5ea7304bd5d168e2665e2fd1R54" target="_blank">https://github.com/Microsoft/vscode-languageserver-node/pull/367/files#diff-0253ecfa5ea7304bd5d168e2665e2fd1R54</a></div></div></blockquote><div>Ah right - the server is responsible for deciding when to send a syntax update, and the client is responsible for interpolating in between.</div><div>So the server has the responsibility of guessing when the client's interpolation will do a better job and it shouldn't waste time calculating and/or sending a new notification. <br></div></div></div></div>