Implement error message for ASCII control characters

This commit is contained in:
Fabian Schmalzried 2023-09-10 15:58:36 +02:00
parent 15a97c60b9
commit 49a1a3b46d
No known key found for this signature in database
GPG key ID: D691D5DA4CEF42E7
2 changed files with 40 additions and 6 deletions

View file

@ -3858,9 +3858,9 @@ fn to_space_report<'a>(
let region = LineColumnRegion::from_pos(lines.convert_pos(pos));
let doc = alloc.stack([
alloc.reflow(r"I encountered a tab character"),
alloc.reflow("I encountered a tab character"),
alloc.region(region),
alloc.concat([alloc.reflow("Tab characters are not allowed.")]),
alloc.reflow("Tab characters are not allowed."),
]);
Report {
@ -3871,6 +3871,23 @@ fn to_space_report<'a>(
}
}
BadInputError::HasAsciiControl => {
let region = LineColumnRegion::from_pos(lines.convert_pos(pos));
let doc = alloc.stack([
alloc.reflow("I encountered an ASCII control character"),
alloc.region(region),
alloc.reflow("ASCII control characters are not allowed."),
]);
Report {
filename,
doc,
title: "ASII CONTROL CHARACTER".to_string(),
severity: Severity::RuntimeError,
}
}
_ => todo!("unhandled type parse error: {:?}", &parse_problem),
}
}