mark/mers
1
0
Fork 0
mirror of https://github.com/Dummi26/mers.git synced 2025-03-10 14:13:52 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

make Error (doesn't pass checks) message more readable by moving global error to the bottom

Browse Source
This commit is contained in:
Mark 2023-12-05 23:15:52 +01:00
parent 0759b769e0
commit 2e6c6940d4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mers_language_server/src/main.rs
View File

@ -189,10 +189,10 @@ impl LanguageServer for Backend {
ParseCompileCheckResult::DoesntPassChecks(_, _, e, _, _, _, info3) => { ParseCompileCheckResult::DoesntPassChecks(_, _, e, _, _, _, info3) => {
let i3sia = info3.global.save_info_at.lock().unwrap(); let i3sia = info3.global.save_info_at.lock().unwrap();
format!( format!(
"# Error (doesn't pass checks):\n```\n{e}```{}", "# Error (doesn't pass checks):{}\n## Global error:\n\n```\n{e}```",
if let Some(i3) = infos_at_cursor_hook_index.map(|(_, i)| &i3sia[i].0) { if let Some(i3) = infos_at_cursor_hook_index.map(|(_, i)| &i3sia[i].0) {
format!( format!(
"\n\n## Local types:{}", "\n\n## Local types:{}\n---\n",
i3.iter() i3.iter()
.map(|(src_range, _info, res)| { .map(|(src_range, _info, res)| {
let src_snippet = src_range.in_file().src() let src_snippet = src_range.in_file().src()