Dave Abrahams

Results 392 comments of Dave Abrahams

> I went for "observer" because the type implementing the protocol is not implementing the visit, it is only "observing" the algorithm doing the visit. I am not overly attached...

1. How would you place hylo code directly in a Swift function? 2. Is there any way this can possibly be a bug in Hylo? It sounds like a mis-compilation...

@tothambrus11 unless you have some objection we haven't considere, please close the issue. Thanks.

> So the race condition is that if we do concurrent compilations interleaved with updated source file content we might get unexpected input to the compilation? In fairness, I misread...

Maybe @koliyo could give us (or point us to) a _concise_ description of what is needed for LSP support, and from there we can decide how to proceed?

> The LSP server receives [textDocument/didChange](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_didChange) updates with incremental changesets to the file. The LSP server can reconstruct the content of the IDE buffer by caching the original content, and...

I'd very much like to try using the extension with emacs, since that's my primary development environment.

> I have zero experience with emacs, and I do not think I will be able to allocate time to setting up the emacs integration unfortunately. Don't worry; I didn't...

I'm confused. Didn't we say in Slack that this isn't the right fix? Don't we just want to eliminate the parameter at all allows users to bypass the UUID generation...

@WalterSmuts I think there are ways to do this even while using the default shell on Windows; it's just a little messier. One thing you can do is set up...