Bodie Solomon

Has there been any further development or discussion on this topic? It is quite important. I haven't read the whole _thread_ (no pun intended), but I think offering an adaptor...

I've tried to build Prelude as follows: First I set `IDRIS2_PATH` and `IDRIS2_DATA` in my environment to equal the values (with Windows-style path separators) from the Makefile. Then I cd...

I didn't install using Conda but rather built from source (37ee0fa6126b8c3c4c1138abc0e03da261bd0b8d); however, I get a similar, but more verbose, error on startup: ``` RegQueryValueEx(InstallDir): returned 2: The system cannot find...

I'm also affected by the `std::endl` / `auto ct = new std::ctype` bug. I built using: - ROOT fork of Cling at 37ee0fa6126b8c3c4c1138abc0e03da261bd0b8d - ROOT fork of Clang at c698bd59e299f9418c416a08f8ec3bf4c24a314b...

> > > > I'm also affected by the `std::endl` / `auto ct = new std::ctype` bug. I built using: > > > > * VS 2019 Release (VS 2015...

For what it's worth, I am able to work around this by adding lua-language-server to lsp-disabled-clients and defining my own emmylua_ls client: ```elisp (defun my-lua-mode () "Try to hook emmylua...

As I mentioned, the other Lua servers have lower priorities: https://github.com/search?q=repo%3Aemacs-lsp%2Flsp-mode+path%3Aclients%2Flsp-lua.el+priority&type=code