waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Provide better parse errors in trace when using comma instead of colon.

This commit is contained in:
KtorZ 2024-07-19 12:26:26 +02:00
parent 2922c0aa6f
commit 30ddfa23d9
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
crates/aiken-lang/src/parser/expr/fail_todo_trace.rs
View File

@ -29,11 +29,22 @@ pub fn parser<'a>(
just(Token::Trace) just(Token::Trace)
.ignore_then(choice((string::hybrid(), expression.clone()))) .ignore_then(choice((string::hybrid(), expression.clone())))
.then( .then(
just(Token::Colon) choice((just(Token::Colon), just(Token::Comma)))
.ignore_then( .then(
choice((string::hybrid(), expression.clone())) choice((string::hybrid(), expression.clone()))
.separated_by(just(Token::Comma)), .separated_by(just(Token::Comma)),
) )
.validate(|(token, arguments), span, emit| {
if token != Token::Colon {
emit(ParseError::expected_but_got(
Pattern::Token(Token::Colon),
Pattern::Token(token),
span.map(|start, _end| (start, start + 1)),
))
}
arguments
})
.or_not() .or_not()
.map(|opt| opt.unwrap_or_default()), .map(|opt| opt.unwrap_or_default()),
) )