changed the shell logic for handling indents

This commit is contained in:
Bijan Naimi 2023-01-01 15:41:51 -08:00
parent e4d2344c41
commit 0c35874aec

View file

@ -205,10 +205,22 @@ pub(crate) fn parse_error_from_lalrpop(
source_path,
}
}
LalrpopError::UnrecognizedEOF { location, .. } => ParseError {
error: ParseErrorType::Eof,
location,
source_path,
LalrpopError::UnrecognizedEOF { location, expected } => {
// This could be an initial indentation error that we should ignore
let indent_error = expected == ["Indent"];
if indent_error {
ParseError {
error: ParseErrorType::Lexical(LexicalErrorType::IndentationError),
location,
source_path,
}
} else {
ParseError {
error: ParseErrorType::Eof,
location,
source_path,
}
}
},
}
}