1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
use crate::ast;
use crate::parsing::{LexerMode, ResolveError, ResolveErrorKind};
use crate::shared::Description;
use crate::Spanned;
use runestick::SpannedError;
use thiserror::Error;
error! {
#[derive(Debug, Clone)]
pub struct ParseError {
kind: ParseErrorKind,
}
impl From<ResolveError>;
}
impl ParseError {
pub(crate) fn expected<A, E>(actual: A, expected: E) -> Self
where
A: Description + Spanned,
E: Description,
{
Self::new(
actual.span(),
ParseErrorKind::Expected {
actual: actual.description(),
expected: expected.description(),
},
)
}
pub(crate) fn unsupported<T, E>(actual: T, what: E) -> Self
where
T: Spanned,
E: Description,
{
Self::new(
actual.span(),
ParseErrorKind::Unsupported {
what: what.description(),
},
)
}
}
impl From<ParseError> for SpannedError {
fn from(error: ParseError) -> Self {
SpannedError::new(error.span, *error.kind)
}
}
#[derive(Debug, Clone, Copy, Error)]
#[allow(missing_docs)]
pub enum ParseErrorKind {
#[error("{message}")]
Custom { message: &'static str },
#[error("{error}")]
ResolveError { error: ResolveErrorKind },
#[error("expected end of file, but got `{actual}`")]
ExpectedEof { actual: ast::Kind },
#[error("unexpected end of file")]
UnexpectedEof,
#[error("bad lexer mode `{actual}`, expected `{expected}`")]
BadLexerMode {
actual: LexerMode,
expected: LexerMode,
},
#[error("expected {expected}, but got `{actual}`")]
Expected {
actual: &'static str,
expected: &'static str,
},
#[error("{what} is not supported")]
Unsupported { what: &'static str },
#[error("expected escape sequence")]
ExpectedEscape,
#[error("unterminated string literal")]
UnterminatedStrLit,
#[error("unterminated byte string literal")]
UnterminatedByteStrLit,
#[error("unterminated character literal")]
UnterminatedCharLit,
#[error("unterminated byte literal")]
UnterminatedByteLit,
#[error("expected character literal to be closed")]
ExpectedCharClose,
#[error("expected label or character")]
ExpectedCharOrLabel,
#[error("expected byte literal to be closed")]
ExpectedByteClose,
#[error("unexpected character `{c}`")]
UnexpectedChar { c: char },
#[error("group required in expression to determine precedence")]
PrecedenceGroupRequired,
#[error("number literal out of bounds `-9223372036854775808` to `9223372036854775807`")]
BadNumberOutOfBounds,
#[error("unsupported field access")]
BadFieldAccess,
#[error("expected close delimiter `{expected}`, but got `{actual}`")]
ExpectedMacroCloseDelimiter {
expected: ast::Kind,
actual: ast::Kind,
},
#[error("bad number literal")]
BadNumber,
#[error("can only specify one attribute named `{name}`")]
MultipleMatchingAttributes { name: &'static str },
}