Documentation

reportUnsolved :: WantedConstraints -> TcM ()Source

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

unifyCtxt :: EqOrigin -> TidyEnv -> TcM (TidyEnv, SDoc)Source

flattenForAllErrorTcS :: CtFlavor -> TcType -> Bag CanonicalCt -> TcS aSource

solverDepthErrorTcS :: Int -> [CanonicalCt] -> TcS aSource