@@ -577,7 +577,7 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
577 renderSimpleErrorMessage (ArgListLengthsDiffer ident) =
577 renderSimpleErrorMessage (ArgListLengthsDiffer ident) =
578 line $ "Argument list lengths differ in declaration " ++ showIdent ident
578 line $ "Argument list lengths differ in declaration " ++ showIdent ident
579 renderSimpleErrorMessage (OverlappingArgNames ident) =
579 renderSimpleErrorMessage (OverlappingArgNames ident) =
580− line $ "Overlapping names in function/binder" ++ foldMap ((" in declaration" ++) . showIdent) ident
580+ line $ "Overlapping names in function/binder" ++ foldMap ((" in declaration " ++) . showIdent) ident
581 renderSimpleErrorMessage (MissingClassMember ident) =
581 renderSimpleErrorMessage (MissingClassMember ident) =
582 line $ "Type class member " ++ showIdent ident ++ " has not been implemented."
582 line $ "Type class member " ++ showIdent ident ++ " has not been implemented."
583 renderSimpleErrorMessage (ExtraneousClassMember ident className) =
583 renderSimpleErrorMessage (ExtraneousClassMember ident className) =