From 51b6b77db8bcba62fc5e90110530c0ce91c34035 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Tue, 1 Oct 2024 16:12:41 +0200 Subject: [PATCH] Build LSP projects with verbose tracing level Without that, the language server might trigger awkward warnings about unused imports due to trace stripping. So it's better to compile/check projects in the language server in the most expanded form. --- CHANGELOG.md | 1 + crates/aiken-lsp/src/server/lsp_project.rs | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7295e9db..a9999721 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -10,6 +10,7 @@ - **aiken-lang**: Fix compiler crash on trace + expect as last expression of a clause. See #1029. @KtorZ - **aiken-lang**: Fix redundant warning on introduced identifiers when destructuring validator params. @KtorZ +- **aiken-lsp**: Compile project using verbose tracing, to avoid having the language server complain about unused imports. @KtorZ - **uplc**: Fix (again :grimacing:) cost-models for PlutusV1 & PlutusV2. @MicroProofs ### Removed diff --git a/crates/aiken-lsp/src/server/lsp_project.rs b/crates/aiken-lsp/src/server/lsp_project.rs index 9ab0367f..8a13170f 100644 --- a/crates/aiken-lsp/src/server/lsp_project.rs +++ b/crates/aiken-lsp/src/server/lsp_project.rs @@ -36,7 +36,7 @@ impl LspProject { false, u32::default(), PropertyTest::DEFAULT_MAX_SUCCESS, - Tracing::silent(), + Tracing::verbose(), None, );