compiler/GHC/Core/Predicate.hs

compiler/GHC/Hs/Binds.hs

compiler/GHC/HsToCore/Binds.hs

compiler/GHC/Tc/Gen/Sig.hs

compiler/GHC/Tc/Solver/Default.hs

compiler/GHC/Tc/Solver/Dict.hs

compiler/GHC/Tc/Solver/Equality.hs

compiler/GHC/Tc/Solver/Monad.hs

compiler/GHC/Tc/Solver/Solve.hs

compiler/GHC/Tc/Types/Evidence.hs

compiler/GHC/Tc/Zonk/Type.hs

testsuite/tests/simplCore/should_compile/DsSpecPragmas.hs

testsuite/tests/simplCore/should_compile/all.T

testsuite/tests/typecheck/should_compile/all.T