Lei Zhu

Close as we have full support ghc-9.4.

Any update here? I'm going to address some lsp-test parts, some new features from 3.16 spec attracted me.

IMO, this requires: 1. ghc9.6+ 2. Update lsp to support [code description](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#diagnostic)

Is it a good UX to give a prompt for a brand new haskeller to let them make a decision?

> Can we use this to show the implicit imports list, instead of a code lens? Not sure, I haven't seen any inlay hint in a new line. But is...

Agree @michaelpj 's ideas, just one thought, I prefer to show function parameters' name instead of their type. (Although not beautiful to look at)

I still believe it's not bad to have more configure, it has little effect for most users(they won't touch these settings) Here is some configuration(partial) for TypeScript. --- Here is...

A quick peek: we rely on `printOutputable` to print type info. I'll dive into it later. https://github.com/haskell/haskell-language-server/blob/b1bf5499155e259341e4868863b0fd743b6bd65f/ghcide/src/Development/IDE/Spans/AtPoint.hs#L250-L252

It's from https://github.com/haskell/haskell-language-server/blob/b1bf5499155e259341e4868863b0fd743b6bd65f/ghcide/src/Development/IDE/Spans/AtPoint.hs#L232-L238 `maybeKind` if we have `newtype WrappedInt = MkWrapped Int` and hover on `MkWrapped`. And it is something about `(AConLike (RealDataCon dataCon))` https://github.com/haskell/haskell-language-server/blob/b1bf5499155e259341e4868863b0fd743b6bd65f/ghcide/src/Development/IDE/Spans/Common.hs#L40-L49 We will get linear arrow...

hls-call-hierarchy-plugin had a hiedb write before hls-1.7.0.0, but I never saw errors like this while I'm debugging that, just write here for reference.