Skip to content

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information