Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck / TcSimplify.hs-boot
1 module TcSimplify where
2
3 import GhcPrelude
4 import TcRnTypes  ( TcM, Cts )
5 import TcType ( TcSigmaType )
6
7 -- This boot file exists solely to make tcCheckHoleFit and tcSubsumes avaialble
8 -- in TcErrors
9
10 tcSubsumes :: TcSigmaType -> TcSigmaType -> TcM Bool
11 tcCheckHoleFit :: Cts -> TcSigmaType -> TcSigmaType -> TcM Bool