Documentation

reportUnsolved :: Bool -> WantedConstraints -> TcM (Bag EvBind)Source

type ErrEnv = VarEnv [ErrMsg]Source

warnDefaulting :: [Ct] -> Type -> TcM ()Source

flattenForAllErrorTcS :: CtEvidence -> TcType -> TcM aSource

solverDepthErrorTcS :: Int -> [Ct] -> TcM aSource