typst-analyzer 0.1.10

A Language server for Typst.
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

//! # semantic analysis
//!
//! semantic analysis for typst lang, utilizing concepts like symbol tables,
//! scopes, and type checking. It processes an abstract syntax tree (AST) to
//! ensure semantic correctness (e.g., variables are defined before use, types
//! are consistent).

use thiserror::Error;

use super::span::Span;

#[derive(Error, Debug)]
pub enum SemanticError {
    #[error("Undefined variable {name}")]
    UndefinedVariable { name: String, span: Span },
    #[error("Expect element type: {expect_type}, but got {actual_type}")]
    ImConsistentArrayType {
        expect_type: String,
        actual_type: String,
        span: Span,
    },
}

impl SemanticError {
    pub fn span(&self) -> Span {
        match self {
            SemanticError::UndefinedVariable { span, .. } => span.clone(),
            SemanticError::ImConsistentArrayType { span, .. } => span.clone(),
        }
    }
}

pub type Result<T> = std::result::Result<T, SemanticError>;

pub enum IndentType {}