Upgrade to tower-lsp 0.13.0

Author: ebkalderon

Cargo.lock

@@ -41,7 +41,7 @@ serde_json = { version = "1.0", optional = true }
 sled = "0.34.0"
 thiserror = "1.0.14"
 tokio = { version = "0.2.13", features = ["io-std", "macros", "sync", "time"] }
-tower-lsp = "0.12.0"
+tower-lsp = "0.13.0"
 tower-test = { version = "0.3.0", optional = true }
 tree-sitter = "0.16.1"
 uuid = { version = "0.8.1", features = ["v4"] }

crates/server/Cargo.toml

@@ -15,7 +15,7 @@ impl LanguageServer for Server {
     }
 
     async fn initialized(&self, _: InitializedParams) {
-        self.client.log_message(MessageType::Info, "server initialized!");
+        self.client.log_message(MessageType::Info, "server initialized!").await;
     }
 
     async fn shutdown(&self) -> Result<()> {

crates/server/src/lsp/api.rs

@@ -92,7 +92,7 @@ pub(crate) mod tree {
             }
             // NOTE: else let elaborator handle
             let version = None;
-            session.client.publish_diagnostics(uri.clone(), diagnostics, version);
+            session.client.publish_diagnostics(uri, diagnostics, version).await;
         }
         Ok(())
     }
@@ -103,7 +103,7 @@ pub(crate) mod tree {
         // FIXME: handle this properly
         let diagnostics = vec![];
         let version = None;
-        session.client.publish_diagnostics(uri, diagnostics, version);
+        session.client.publish_diagnostics(uri, diagnostics, version).await;
         Ok(())
     }