haskell / haskell/haskell-language-server

Inlay hints for types of holes in terms

Open
#3,228 2 comments 0 reactions 0 assignees View on GitHub
status: blocked type: enhancement
Dominant language
Haskell
Stars
3k
Forks
455
Avg merge
2d 19h
Merged PRs (30d)
11

Description

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](https://user-images.githubusercontent.com/22661796/192587430-84b9afca-dd53-4354-9b54-77f25d50c59b.png)
This only really saves having to hover over the text to read the diagnostic.
![image](https://user-images.githubusercontent.com/22661796/192588020-d6c142ce-edb9-4d79-889b-8455cae9d15f.png)
I probably wouldn't want this in the situation where a type is already attached however (e.g. if I already wrote ``(_ :: Bool)``)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.