Remove colors from Bend diagnostic output

Related to issue #1

Cargo.toml

@@ -19,9 +19,7 @@ dashmap = "6.0"
 lazy_static = "1.5"
 itertools = "0.13"
 ropey = "1.6"
+regex = "1.7"
 
 [build-dependencies]
 cc = "1.1"
-
-[patch.crates-io]
-hvm = { git = "https://github.com/HigherOrderCO/hvm.git", branch = "parser-update" }

src/core/diagnostics.rs

@@ -5,6 +5,7 @@ use bend::{check_book, imports::DefaultLoader, CompileOpts};
 use tower_lsp::lsp_types::{self as lsp, Position};
 
 use super::document::Document;
+use crate::utils::color_wrapper::treat_colors;
 
 /// Checks a Bend file and return its diagnostics.
 pub fn check(doc: &Document) -> Diagnostics {
@@ -36,7 +37,7 @@ pub fn lsp_diagnostics(diagnostics: &Diagnostics) -> Vec<lsp::Diagnostic> {
 
 fn treat_diagnostic(origin: &DiagnosticOrigin, diag: &Diagnostic) -> Option<lsp::Diagnostic> {
     Some(lsp::Diagnostic {
-        message: format!("{}", diag.display_with_origin(origin)),
+        message: treat_colors(&diag.display_with_origin(origin).to_string()),
         severity: match diag.severity {
             Severity::Allow => Some(lsp::DiagnosticSeverity::HINT),
             Severity::Warning => Some(lsp::DiagnosticSeverity::WARNING),

src/server/mod.rs

@@ -1,6 +1,5 @@
 use std::fs;
 
-// use bend::diagnostics::Diagnostic;
 use dashmap::DashMap;
 use tower_lsp::jsonrpc::Result;
 use tower_lsp::lsp_types::{self as lsp, SemanticTokensRangeResult};

src/utils/color_wrapper.rs

@@ -0,0 +1,19 @@
+// Parts of this code are based on https://github.com/Aloso/to-html/blob/main/LICENSE,
+// which is MIT-licensed.
+
+use lazy_static::lazy_static;
+use regex::Regex;
+
+lazy_static! {
+    pub static ref ANSI_REGEX: Regex =
+        Regex::new(r"\u{1b}(\[[0-9;?]*[A-HJKSTfhilmnsu]|\(B)").unwrap();
+}
+
+/// This function receives a string with color and highlighting information
+/// in ANSI color code format and treats them to be reported by the language server.
+///
+/// As tracked in issue #1, diagnostic highlighting still does not implement color
+/// information in VSCode, so for now we just remove color codes.
+pub fn treat_colors(text: &str) -> String {
+    ANSI_REGEX.replace_all(text, "").to_string()
+}

src/utils/mod.rs

@@ -1 +1,2 @@
 pub(crate) mod lsp_log;
+pub(crate) mod color_wrapper;