@@ -411,7 +411,7 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage . positionHintsFir
411 , prettyPrintParseError err
411 , prettyPrintParseError err
413 renderSimpleErrorMessage (MissingFFIModule mn) =
413 renderSimpleErrorMessage (MissingFFIModule mn) =
414− paras [ line $ "Missing foreign module implementation for module " ++ runModuleName mn
414+ paras [ line $ "The foreign module implementation for module " ++ runModuleName mn ++ " is missing."
415 , line $ "Provide your foreign module implementation using the --ffi command line option, and ensure that your module contains the following module header:"
415 , line $ "Provide your foreign module implementation using the --ffi command line option, and ensure that your module contains the following module header:"
416 , indent . line $ "// module " ++ runModuleName mn
416 , indent . line $ "// module " ++ runModuleName mn
@@ -496,13 +496,13 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage . positionHintsFir
496 renderSimpleErrorMessage (ConflictingCtorDecls nm) =
496 renderSimpleErrorMessage (ConflictingCtorDecls nm) =
497 line $ "Conflicting data constructor declarations for " ++ runProperName nm
497 line $ "Conflicting data constructor declarations for " ++ runProperName nm
498 renderSimpleErrorMessage (TypeConflictsWithClass nm) =
498 renderSimpleErrorMessage (TypeConflictsWithClass nm) =
499− line $ "The type " ++ runProperName nm ++ " conflicts with type class declaration of the same name."
499+ line $ "The type " ++ runProperName nm ++ " conflicts with a type class declaration of the same name."
500 renderSimpleErrorMessage (CtorConflictsWithClass nm) =
500 renderSimpleErrorMessage (CtorConflictsWithClass nm) =
501− line $ "The data constructor " ++ runProperName nm ++ " conflicts with type class declaration of the same name."
501+ line $ "The data constructor " ++ runProperName nm ++ " conflicts with a type class declaration of the same name."
502 renderSimpleErrorMessage (ClassConflictsWithType nm) =
502 renderSimpleErrorMessage (ClassConflictsWithType nm) =
503− line $ "The type class " ++ runProperName nm ++ " conflicts with type declaration of the same name."
503+ line $ "The type class " ++ runProperName nm ++ " conflicts with a type declaration of the same name."
504 renderSimpleErrorMessage (ClassConflictsWithCtor nm) =
504 renderSimpleErrorMessage (ClassConflictsWithCtor nm) =
505− line $ "The type class " ++ runProperName nm ++ " conflicts with data constructor declaration of the same name."
505+ line $ "The type class " ++ runProperName nm ++ " conflicts with a data constructor declaration of the same name."
506 renderSimpleErrorMessage (DuplicateModuleName mn) =
506 renderSimpleErrorMessage (DuplicateModuleName mn) =
507 line $ "The module " ++ runModuleName mn ++ " has been defined multiple times."
507 line $ "The module " ++ runModuleName mn ++ " has been defined multiple times."
508 renderSimpleErrorMessage (DuplicateClassExport nm) =
508 renderSimpleErrorMessage (DuplicateClassExport nm) =