From 2e6c6940d4f50ae7a78380ea9ef794b1ea34a475 Mon Sep 17 00:00:00 2001
From: Mark <markbaumeister26@gmail.com>
Date: Tue, 5 Dec 2023 23:15:52 +0100
Subject: [PATCH] make Error (doesn't pass checks) message more readable by
 moving global error to the bottom

---
 mers_language_server/src/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mers_language_server/src/main.rs b/mers_language_server/src/main.rs
index 6c277d3..6a49323 100644
--- a/mers_language_server/src/main.rs
+++ b/mers_language_server/src/main.rs
@@ -189,10 +189,10 @@ impl LanguageServer for Backend {
                 ParseCompileCheckResult::DoesntPassChecks(_, _, e, _, _, _, info3) => {
                     let i3sia = info3.global.save_info_at.lock().unwrap();
                     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) {
                             format!(
-                                "\n\n## Local types:{}",
+                                "\n\n## Local types:{}\n---\n",
                                 i3.iter()
                                     .map(|(src_range, _info, res)| {
                                         let src_snippet = src_range.in_file().src()