mathic 0.2.0

A compiler with builtin support of symbolic operations, built with LLVM/MLIR
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

use std::{fs, path::Path};

use ariadne::FnCache;
use thiserror::Error;

pub mod codegen;
pub mod lowering;
pub mod parse;

pub use codegen::CodegenError;
pub use lowering::LoweringError;
pub use parse::{LexError, ParseError, SyntaxError};

use crate::{
    diagnostics::{lowering::format_lowering_error, parse::format_parse_error},
    parser::Span,
};

#[derive(Debug, Error)]
pub enum MathicError {
    #[error(transparent)]
    Codegen(#[from] CodegenError),
    #[error(transparent)]
    Parse(#[from] ParseError),
    #[error(transparent)]
    Lowering(#[from] LoweringError),
    #[error(transparent)]
    Io(#[from] std::io::Error),
}

#[derive(Clone)]
pub struct ReportSpan {
    pub path: String,
    pub span: Span,
}

impl ariadne::Span for ReportSpan {
    type SourceId = String;

    fn source(&self) -> &Self::SourceId {
        &self.path
    }

    fn start(&self) -> usize {
        self.span.start
    }

    fn end(&self) -> usize {
        self.span.end
    }
}

pub fn format_error(file_path: &Path, error: &MathicError) {
    let report = match error {
        MathicError::Parse(parse_error) => format_parse_error(file_path, parse_error),
        MathicError::Lowering(lowering_error) => format_lowering_error(file_path, lowering_error),
        MathicError::Codegen(codegen_error) => unimplemented!("{:?}", codegen_error),
        MathicError::Io(_) => unimplemented!(),
    };

    report
        .finish()
        .eprint(FnCache::new(|p: &String| fs::read_to_string(p)))
        .unwrap();
}