@@ -148,6 +148,7 @@ data SimpleErrorMessage
148148 | CaseBinderLengthDiffers Int [Binder]
149149 | IncorrectAnonymousArgument
150150 | InvalidOperatorInBinder Ident Ident
151+ | DeprecatedRequirePath
151152 deriving (Show)
152153
153154-- | Error message hints, providing more detailed information about failure.
@@ -328,6 +329,7 @@ errorCode em = case unwrapErrorMessage em of
328329 CaseBinderLengthDiffers{} -> "CaseBinderLengthDiffers"
329330 IncorrectAnonymousArgument -> "IncorrectAnonymousArgument"
330331 InvalidOperatorInBinder{} -> "InvalidOperatorInBinder"
332+ DeprecatedRequirePath{} -> "DeprecatedRequirePath"
331333
332334-- |
333335-- A stack trace for an error
@@ -975,6 +977,9 @@ prettyPrintSingleError full level showWiki e = flip evalState defaultUnknownMap
975977 , line "Only aliases for data constructors may be used in patterns."
976978 ]
977979
980+ renderSimpleErrorMessage DeprecatedRequirePath =
981+ line "The require-path option is deprecated and will be removed in PureScript 0.9."
982+
978983 renderHint :: ErrorMessageHint -> Box.Box -> Box.Box
979984 renderHint (ErrorUnifyingTypes t1 t2) detail =
980985 paras [ detail