@@ -498,6 +498,8 @@ prettyPrintSingleError (PPEOptions codeColor full level showDocs) e = flip evalS
498 line $ "The type declaration for " <> markCode (showIdent nm) <> " should be followed by its definition."
498 line $ "The type declaration for " <> markCode (showIdent nm) <> " should be followed by its definition."
499 renderSimpleErrorMessage (RedefinedIdent name) =
499 renderSimpleErrorMessage (RedefinedIdent name) =
500 line $ "The value " <> markCode (showIdent name) <> " has been defined multiple times"
500 line $ "The value " <> markCode (showIdent name) <> " has been defined multiple times"
501+ renderSimpleErrorMessage (UnknownName name@(Qualified Nothing (IdentName (Ident "bind")))) =
502+ line $ "Unknown " <> printName name <> ". You're probably using do-notation, which the compiler replaces with calls to the " <> markCode "bind" <> " function. Please import " <> markCode "bind" <> " from module " <> markCode "Prelude"
501 renderSimpleErrorMessage (UnknownName name) =
503 renderSimpleErrorMessage (UnknownName name) =
502 line $ "Unknown " <> printName name
504 line $ "Unknown " <> printName name
503 renderSimpleErrorMessage (UnknownImport mn name) =
505 renderSimpleErrorMessage (UnknownImport mn name) =