Commit c7aefd14 authored by Jan-Hendrik Matthes's avatar Jan-Hendrik Matthes 😄

Remove an unused function from the type check module

parent 95628280
......@@ -1921,11 +1921,6 @@ errEscapingTypeVariable m tv ty1 ty2 = sep
, text "because type variable" <+> ppType m (TypeVariable tv)
<+> text "would escape its scope" ]
errIncompatiblePredSets :: ModuleIdent -> PredSet -> PredSet -> Doc
errIncompatiblePredSets m ps1 ps2 = vcat
[ text "Could not deduce" <+> ppPredSet m ps1
, nest 2 $ text "from the context:" <+> ppPredSet m ps2 ]
errIncompatibleLabelTypes :: HasPosition a => a -> ModuleIdent -> Ident -> Type
-> Type -> Message
errIncompatibleLabelTypes p m l ty1 ty2 = posMessage p $ sep
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment