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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

use logos::Logos;

use crate::diagnostics::parse::LexError;

#[derive(logos_display::Display, logos_display::Debug, Logos, PartialEq, Eq, Clone, Copy)]
#[logos(error(LexError, LexError::from_lexer))]
#[logos(skip r"[ \t\r\n\f]+", skip r"//[^/\n]*", skip r"\/\*(.|\n)*\*\/")]
pub enum Token {
    // Single char.
    #[token("(")]
    LParen,
    #[token(")")]
    RParen,
    #[token("{")]
    LBrace,
    #[token("}")]
    RBrace,
    #[token("[")]
    LSquareBracket,
    #[token("]")]
    RSquareBracket,
    #[token("<")]
    Less,
    #[token(">")]
    Greater,
    #[token("=")]
    Eq,
    #[token("!")]
    Bang,
    #[token(":")]
    Colon,
    #[token(".")]
    Dot,
    #[token(",")]
    Comma,
    #[token(";")]
    Semicolon,
    #[token("+")]
    Plus,
    #[token("-")]
    Minus,
    #[token("*")]
    Star,
    #[token("/")]
    Slash,

    // Multi char.
    #[token("<=")]
    EqLess,
    #[token(">=")]
    EqGreater,
    #[token("==")]
    EqEq,
    #[token("!=")]
    BangEq,

    // Keywords.
    #[token("in")]
    In,
    #[token("if")]
    If,
    #[token("else")]
    Else,
    #[token("while")]
    While,
    #[token("for")]
    For,
    #[token("struct")]
    Struct,
    #[token("pub")]
    Pub,
    #[token("sym")]
    Sym,
    #[token("df")]
    Df,
    #[token("let")]
    Let,
    #[token("return")]
    Return,
    #[token("and")]
    And,
    #[token("or")]
    Or,
    #[token("true")]
    True,
    #[token("false")]
    False,

    // Literals.
    #[regex(r#""[^"]*""#)]
    Str,
    #[regex(r"0|[1-9]\d*(\.\d+)?")]
    Num,
    #[regex(r"[\p{XID_Start}_]\p{XID_Continue}*")]
    Ident,
}