The attached archive includes everything mentioned at the indicated link. See the included `README.md` file for instructions on how to reproduce the bug (minimally). It also points to instructions on how to install the Haskell tools, but, given that https://github.com/joaotavora/eglot claims support for the `haskell-language-server` (and to be up-to-date) I assume you have running test benches with everything. On 28/09/2024 13:47, João Távora wrote: > I would expect a 1-character long underline for the first one too. > > There might be a off-by-one error somewhere, but I doubt it. I just > tried with clangd a a diagnostic like this: > > {"code":"unknown_typename","message":"Unknown type name 'a'", > "range":{"end":{"character":1,"line":34},"start":{"character":0,"line":34}}, > "severity":1,"source":"clang"} > > gets its own small underline. > > So, maybe look closer and if you still don't see it, follow the steps in > > https://joaotavora.github.io/eglot/#Reporting-bugs > > and construct a full error recipe so that we can (not) see it, too. > > João