TcErrors
Documentation
reportUnsolved :: WantedConstraints -> TcM ()
warnDefaulting :: [FlavoredEvVar] -> Type -> TcM ()
flattenForAllErrorTcS :: CtFlavor -> TcType -> Bag CanonicalCt -> TcS a
solverDepthErrorTcS :: Int -> [CanonicalCt] -> TcS a
ghc-7.0.4: The GHC API
TcErrors
reportUnsolved :: WantedConstraints -> TcM ()
warnDefaulting :: [FlavoredEvVar] -> Type -> TcM ()
flattenForAllErrorTcS :: CtFlavor -> TcType -> Bag CanonicalCt -> TcS a
solverDepthErrorTcS :: Int -> [CanonicalCt] -> TcS a