diff options
Diffstat (limited to 'src/errors.rs')
| -rw-r--r-- | src/errors.rs | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/src/errors.rs b/src/errors.rs index 25b28ec..914b70a 100644 --- a/src/errors.rs +++ b/src/errors.rs @@ -42,8 +42,8 @@ pub enum PatternError<'a> { Unimplemented(usize, &'a str), } -// /// These are errors that may be returned by the matcher when matching a -// /// pattern. +/// These are errors that may be returned by the matcher when matching a +/// pattern. // #[derive(Clone, Debug)] #[derive(Debug)] #[non_exhaustive] @@ -52,12 +52,7 @@ pub enum MatchError { StackOverflow, /// Returned if the pattern rejects the input. ValidationError, -// /// Returned if the pattern attempts an unsupported operation. -// /// -// /// In particular, if the [`PatternTypes`] doesn't support `get` or `pairs` -// /// for a given value, this error will be returned. It can be treated as a -// /// ValidationError, or as a bug in the pattern, at the user's discretion. -// UnsupportedOperation, -// /// Returned if an unspecified non-critical error occurred. -// Other + /// Returned if the pattern contains conflicting/unsatisfiable type + /// requirements. + Unsatisfiable, } |