@@ -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
@@ -974,6 +976,9 @@ prettyPrintSingleError full level showWiki e = flip evalState defaultUnknownMap
974976 , line "Only aliases for data constructors may be used in patterns."
975977 ]
976978
979+ renderSimpleErrorMessage DeprecatedRequirePath =
980+ line "The require-path option is deprecated and will be removed in PureScript 0.9."
981+
977982 renderHint :: ErrorMessageHint -> Box.Box -> Box.Box
978983 renderHint (ErrorUnifyingTypes t1 t2) detail =
979984 paras [ detail