blob: 16e0c953c0644da574c22a45e74c1a90cc98f6e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
-- 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, Ct, Implication )
import Outputable ( SDoc )
import VarEnv ( TidyEnv )
findValidHoleFits :: TidyEnv -> [Implication] -> [Ct] -> Ct
-> TcM (TidyEnv, SDoc)
|
