Refactor TcRnMonad.mapAndRecoverM
[ghc.git] / compiler / typecheck / TcHoleErrors.hs-boot
1 -- This boot file is in place to break the loop where:
2 -- + TcSimplify calls 'TcErrors.reportUnsolved',
3 -- + which calls 'TcHoleErrors.findValidHoleFits`
4 -- + which calls 'TcSimplify.simpl_top'
5 module TcHoleErrors where
6
7 import TcRnTypes  ( TcM, Ct, Implication )
8 import Outputable ( SDoc )
9 import VarEnv     ( TidyEnv )
10
11 findValidHoleFits :: TidyEnv -> [Implication] -> [Ct] -> Ct
12                   -> TcM (TidyEnv, SDoc)