Report lacking platform name in app header

This commit is contained in:
caryoscelus 2023-11-28 05:52:43 +00:00
parent 3332503f1d
commit 2fc8e88cca
No known key found for this signature in database
GPG key ID: 254EDDB85B66CB1F
2 changed files with 48 additions and 0 deletions

View file

@ -3540,6 +3540,27 @@ fn to_provides_report<'a>(
}
}
EProvides::IndentListStart(pos) => {
let surroundings = Region::new(start, pos);
let region = LineColumnRegion::from_pos(lines.convert_pos(pos));
let doc = alloc.stack([
alloc.reflow(r"I am partway through parsing a header, but I got stuck here:"),
alloc.region_with_subregion(lines.convert_region(surroundings), region),
alloc.reflow("I am expecting platform name, like"),
alloc
.parser_suggestion("to pf")
.indent(4),
]);
Report {
filename,
doc,
title: "WEIRD PROVIDES".to_string(),
severity: Severity::RuntimeError,
}
}
_ => todo!("unhandled parse error {:?}", parse_problem),
}
}