haskell-language-server
haskell-language-server copied to clipboard
Inlay hints for types of holes in terms
When you have a _ hole in a haskell program, it would be nice if HLS rendered the expected type
I.e. if you could see ( _x :: Bool) similar to the type signature suggestions below.
This only really saves having to hover over the text to read the diagnostic.
I probably wouldn't want this in the situation where a type is already attached however (e.g. if I already wrote (_ :: Bool))
This would be a good use for an inlay hint.
Needs us to actually support inlay hints at all!