Documentation
reportUnsolved :: WantedConstraints -> TcM ()Source
warnDefaulting :: [FlavoredEvVar] -> Type -> TcM ()Source
flattenForAllErrorTcS :: CtFlavor -> TcType -> Bag CanonicalCt -> TcS aSource
solverDepthErrorTcS :: Int -> [CanonicalCt] -> TcS aSource