Safe Haskell | None |
---|
TcErrors
Documentation
reportUnsolved :: Bool -> WantedConstraints -> TcM (Bag EvBind)
warnDefaulting :: [Ct] -> Type -> TcM ()
flattenForAllErrorTcS :: CtEvidence -> TcType -> TcM a
solverDepthErrorTcS :: Int -> [Ct] -> TcM a
ghc-7.6.1: The GHC API
Safe Haskell | None |
---|
TcErrors
reportUnsolved :: Bool -> WantedConstraints -> TcM (Bag EvBind)
warnDefaulting :: [Ct] -> Type -> TcM ()
flattenForAllErrorTcS :: CtEvidence -> TcType -> TcM a
solverDepthErrorTcS :: Int -> [Ct] -> TcM a