search

haskell / haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Apache License 2.0
2.64k stars 354 forks source link

Inlay hints for types of holes in terms #3228

Open Jashweii opened 1 year ago

Jashweii commented 1 year ago

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. image This only really saves having to hover over the text to read the diagnostic. image I probably wouldn't want this in the situation where a type is already attached however (e.g. if I already wrote ``( :: Bool)``)

michaelpj commented 1 year ago

This would be a good use for an inlay hint.

michaelpj commented 1 year ago

Needs us to actually support inlay hints at all!