Merge branch 'trunk' into generated-docs-folder

This commit is contained in:
Chadtech 2021-03-25 00:28:31 -04:00 committed by GitHub
commit 90b1c57f1f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
33 changed files with 1169 additions and 997 deletions

View file

@ -122,7 +122,7 @@ pub fn files_to_documentations(
builtin_defs_map,
) {
Ok(mut loaded) => files_docs.extend(loaded.documentation.drain().map(|x| x.1)),
Err(LoadingProblem::ParsingFailedReport(report)) => {
Err(LoadingProblem::FormattedReport(report)) => {
println!("{}", report);
panic!();
}