@@ -577,7 +577,7 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
577577 renderSimpleErrorMessage (ArgListLengthsDiffer ident) =
578578 line $ "Argument list lengths differ in declaration " ++ showIdent ident
579579 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
581581 renderSimpleErrorMessage (MissingClassMember ident) =
582582 line $ "Type class member " ++ showIdent ident ++ " has not been implemented."
583583 renderSimpleErrorMessage (ExtraneousClassMember ident className) =