Some tests for valid hole fits are missing
The functionality of valid hole fits is not fully covered by tests.
I couldn't find any occurrence of show-hole-matches-of-hole-fits
, show-type-app-of-hole-fits
, show-type-of-hole-fits
, show-type-app-vars-of-hole-fits
, show-provenance-of-hole-fits
, no-show-valid-hole-fits
in the testsuite
directory. If I change TcHoleErrors
wrapDisp = ppWhen (has wrap && (sWrp || sWrpVars))
$ text "with" <+> if sWrp || not sTy
then occDisp <+> tyApp
- else tyAppVars
+ else text "foo"
then the testsuite passes.