Occ names seem to have a colon separating them from their category (at least on GHC version 9.6.2) causing searchDef to fail. Possibly should be conditional on the ghc version (happy to edit this PR if that's the case) but unsure whether/when this changed.
Occ names seem to have a colon separating them from their category (at least on GHC version 9.6.2) causing
searchDef
to fail. Possibly should be conditional on the ghc version (happy to edit this PR if that's the case) but unsure whether/when this changed.