blob: 9c5df8648931b3e9caa1c83f061e37c8de6c00e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- This boot file is in place to break the loop where:
-- + TcSimplify calls 'TcErrors.reportUnsolved',
-- + which calls 'TcHoleErrors.findValidHoleFits`
-- + which calls 'TcSimplify.simpl_top'
module TcHoleErrors where
import TcRnTypes ( TcM )
import Constraint ( Ct, Implication )
import Outputable ( SDoc )
import GHC.Types.Var.Env ( TidyEnv )
findValidHoleFits :: TidyEnv -> [Implication] -> [Ct] -> Ct
-> TcM (TidyEnv, SDoc)
|
