Dont swallow bad input while parsing spaces

Fix #5939
This commit is contained in:
jecaro 2023-11-21 18:28:25 +01:00
parent 08ee6ed018
commit 55befee0b0
No known key found for this signature in database
GPG key ID: 3AEB4D2AFA2ACD45

View file

@ -549,6 +549,9 @@ pub fn parse_single_def<'a>(
let spaces_before_current_start = state.pos();
let state = match space0_e(EExpr::IndentStart).parse(arena, state, min_indent) {
Err((MadeProgress, bad_input @ EExpr::Space(_, _))) => {
return Err((MadeProgress, bad_input));
}
Err((MadeProgress, _)) => {
return Err((MadeProgress, EExpr::DefMissingFinalExpr(initial.pos())));
}