search

ndmitchell / ghcid

Very low feature GHCi based IDE
Other
1.13k stars 114 forks source link

List holes and other errors separately. #304

Open Saizan opened 4 years ago

Saizan commented 4 years ago

When ghci lists the number of errors it includes the Found hole: ... ones.

Unfortunately the error messages tend to be quite large, so if I have enough holes it's hard to tell if some other error snuck in too. Unless there's a way to get a reduced length version of error messages?

It would be great if ghci listed holes separately in the window title, e.g., 1 error - 2 holes - fooProject.

ndmitchell commented 4 years ago

For certain errors ghcid already produces reduced length versions. I'm not averse to treating holes different, if someone send in a PR. I don't use holes myself so am unlikely to do much in this area.