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