vize_canon 0.72.0

Canon - The standard of correctness for Vize type checking
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

use super::{
    paths::{
        corsa_search_roots, find_corsa_in_common_locations, find_corsa_in_path,
        find_corsa_in_search_roots, normalize_corsa_path,
    },
    session::spawn_project_session,
    CorsaProjectClient,
};
use std::path::{Path, PathBuf};
use vize_carton::String;

pub(super) fn resolve_corsa_executable(
    corsa_path: Option<&str>,
    working_dir: Option<&str>,
) -> String {
    let search_roots = corsa_search_roots(working_dir.map(Path::new));

    corsa_path
        .map(normalize_resolved_corsa_path)
        .or_else(|| {
            std::env::var("CORSA_PATH")
                .ok()
                .map(|path| normalize_resolved_corsa_path(path.as_str()))
        })
        .or_else(|| {
            std::env::var("TSGO_PATH")
                .ok()
                .map(|path| normalize_resolved_corsa_path(path.as_str()))
        })
        .or_else(|| {
            find_corsa_in_search_roots(&search_roots)
                .map(|path| normalize_resolved_corsa_path(path.as_str()))
        })
        .or_else(|| {
            find_corsa_in_common_locations()
                .map(|path| normalize_resolved_corsa_path(path.as_str()))
        })
        .or_else(|| find_corsa_in_path().map(|path| normalize_resolved_corsa_path(path.as_str())))
        .unwrap_or_else(|| "corsa".into())
}

fn normalize_resolved_corsa_path(path: &str) -> String {
    normalize_corsa_path(path).unwrap_or_else(|| path.into())
}

impl CorsaProjectClient {
    pub(super) fn spawn_initialized_client(
        executable: &str,
        cwd: PathBuf,
        root_path: Option<PathBuf>,
        temp_dir: Option<PathBuf>,
    ) -> Result<Self, String> {
        let project_root = root_path.as_deref().unwrap_or(&cwd);
        let (session, capabilities) = spawn_project_session(executable, &cwd, project_root)?;
        Ok(Self {
            executable: executable.into(),
            cwd: cwd.clone(),
            session,
            capabilities,
            project_root: project_root.to_path_buf(),
            diagnostics: Default::default(),
            overlay_versions: Default::default(),
            document_texts: Default::default(),
            session_document_uris: Default::default(),
            external_document_uris: Default::default(),
            temp_dir,
            closed: false,
        })
    }
}