TcErrors
Documentation
reportUnsolved :: (Bag WantedEvVar, Bag Implication) -> Bag FrozenError -> TcM ()
reportUnsolvedDeriv :: [PredType] -> WantedLoc -> TcM ()
reportUnsolvedWantedEvVars :: Bag WantedEvVar -> TcM ()
warnDefaulting :: [WantedEvVar] -> Type -> TcM ()
typeExtraInfoMsg :: TidyEnv -> Type -> (TidyEnv, SDoc)
flattenForAllErrorTcS :: CtFlavor -> TcType -> Bag CanonicalCt -> TcS a
solverDepthErrorTcS :: Int -> [CanonicalCt] -> TcS a