List holes and other errors separately.

[Saizan]

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]

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.