language-servers/tinymist
1
0
Fork 0
mirror of https://github.com/Myriad-Dreamin/tinymist.git synced 2025-07-24 13:13:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

fix: error tolerance on external paths (#96)

Browse source
This commit is contained in:
Myriad-Dreamin 2024-03-26 10:54:26 +08:00 • committed by GitHub
parent 76b4e91046
commit 37982a6870
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 18 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

21
crates/tinymist-query/src/diagnostics.rs
View file

@ -30,11 +30,20 @@ fn convert_diagnostic(
let uri; let uri;
let lsp_range; let lsp_range;
if let Some((id, span)) = diagnostic_span_id(typst_diagnostic) { if let Some((id, span)) = diagnostic_span_id(typst_diagnostic) {
uri = Url::from_file_path(project.path_for_id(id)?).unwrap(); uri = Url::from_file_path(project.path_for_id(id)?).map_err(|e| {
let _: () = e;
anyhow::anyhow!(
"could not convert path to URI: id: {id:?}, context: {:?}",
project.analysis.root
)
})?;
let source = project.world().source(id)?; let source = project.world().source(id)?;
lsp_range = diagnostic_range(&source, span, position_encoding); lsp_range = diagnostic_range(&source, span, position_encoding);
} else { } else {
uri = Url::from_file_path(project.analysis.root.clone()).unwrap(); uri = Url::from_file_path(project.analysis.root.clone()).map_err(|e| {
let _: () = e;
anyhow::anyhow!("could not convert path to URI: {:?}", project.analysis.root)
})?;
lsp_range = LspRange::default(); lsp_range = LspRange::default();
}; };
@ -64,7 +73,13 @@ fn tracepoint_to_relatedinformation(
position_encoding: PositionEncoding, position_encoding: PositionEncoding,
) -> anyhow::Result<Option<DiagnosticRelatedInformation>> { ) -> anyhow::Result<Option<DiagnosticRelatedInformation>> {
if let Some(id) = tracepoint.span.id() { if let Some(id) = tracepoint.span.id() {
let uri = Url::from_file_path(project.path_for_id(id)?).unwrap(); let uri = Url::from_file_path(project.path_for_id(id)?).map_err(|e| {
let _: () = e;
anyhow::anyhow!(
"could not convert path to URI: id: {id:?}, context: {:?}",
project.analysis.root
)
})?;
let source = project.world().source(id)?; let source = project.world().source(id)?;
if let Some(typst_range) = source.range(tracepoint.span) { if let Some(typst_range) = source.range(tracepoint.span) {