@@ -148,6 +148,7 @@ data SimpleErrorMessage
148 | CaseBinderLengthDiffers Int [Binder]
148 | CaseBinderLengthDiffers Int [Binder]
149 | IncorrectAnonymousArgument
149 | IncorrectAnonymousArgument
150 | InvalidOperatorInBinder Ident Ident
150 | InvalidOperatorInBinder Ident Ident
151+ | DeprecatedRequirePath
151 deriving (Show)
152 deriving (Show)
153-- | Error message hints, providing more detailed information about failure.
154-- | Error message hints, providing more detailed information about failure.
@@ -328,6 +329,7 @@ errorCode em = case unwrapErrorMessage em of
328 CaseBinderLengthDiffers{} -> "CaseBinderLengthDiffers"
329 CaseBinderLengthDiffers{} -> "CaseBinderLengthDiffers"
329 IncorrectAnonymousArgument -> "IncorrectAnonymousArgument"
330 IncorrectAnonymousArgument -> "IncorrectAnonymousArgument"
330 InvalidOperatorInBinder{} -> "InvalidOperatorInBinder"
331 InvalidOperatorInBinder{} -> "InvalidOperatorInBinder"
332+ DeprecatedRequirePath{} -> "DeprecatedRequirePath"
333-- A stack trace for an error
335-- A stack trace for an error
@@ -974,6 +976,9 @@ prettyPrintSingleError full level showWiki e = flip evalState defaultUnknownMap
974 , line "Only aliases for data constructors may be used in patterns."
976 , line "Only aliases for data constructors may be used in patterns."
979+ renderSimpleErrorMessage DeprecatedRequirePath =
980+ line "The require-path option is deprecated and will be removed in PureScript 0.9."
977 renderHint :: ErrorMessageHint -> Box.Box -> Box.Box
982 renderHint :: ErrorMessageHint -> Box.Box -> Box.Box
978 renderHint (ErrorUnifyingTypes t1 t2) detail =
983 renderHint (ErrorUnifyingTypes t1 t2) detail =
979 paras [ detail
984 paras [ detail