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

#[derive(Clone, Debug)]
pub enum Expr {
    Number(isize),
    Op(Box<Expr>, String, Box<Expr>),
    Ref(Ident),
    Do(Vec<Statement>, Vec<Statement>),
    Parens(Vec<Expr>),
    Case(Box<Expr>, Vec<CaseCond>),
    Let(Vec<Statement>, Vec<Statement>),
    Span(Vec<Expr>),
    Vector(Vec<Expr>),
    Operator(String),
    Record(Vec<(Ident, Expr)>),
    Lambda,
    Str(String),
    Char(String),
    Error,
    Dummy,
}

#[derive(Clone, Debug)]
pub enum CaseCond {
    Matching(Vec<Pat>, Vec<(Vec<Expr>, Expr)>),
    Direct(Vec<Pat>, Vec<Expr>),
    Where,
}

#[derive(Copy, Clone, Debug)]
pub enum Opcode {
    Mul,
    Div,
    Add,
    Sub,
}

#[derive(Clone, Debug)]
pub enum Statement {
    Import,

    // Name, Inner Types, Deriving IDs
    Type,
    Data(Ident, Vec<Vec<Ty>>, Vec<Ident>, Option<Vec<Ty>>),
    Newtype(Ident, Ty, Vec<Ident>),
    Class,
    Instance,

    Prototype(Vec<Expr>, Vec<Ty>),
    Assign(Vec<Expr>, Expr),
    GuardAssign,
    // Expression, where clause
    Expression(Expr, Vec<Statement>),

    // TODO remove this
    Dummy,
}

#[derive(Clone, Debug)]
pub struct Module {
    pub name: Ident,
    pub statements: Vec<Statement>,
}

#[derive(Clone, Debug)]
pub enum Ty {
    Span(Vec<Ty>),
    Where(Box<Ty>, Box<Ty>),
    Pair(Box<Ty>, Box<Ty>),
    Not(Box<Ty>),
    Ref(Ident),
    Tuple(Vec<Ty>),
    Brackets(Box<Ty>),
    RecordTODO,
    EmptyParen,
    Dummy,
}

#[derive(Clone, Debug)]
pub enum Pat {
    Span(Vec<Pat>),
    Arrow(Ident, Box<Pat>),
    Not(Box<Pat>),
    Ref(Ident),
    Tuple(Vec<Pat>),
    Brackets(Vec<Pat>),
    RecordTODO,
    Str(String),
    Char(String),
    Num(isize),
    EmptyParen,
    Dummy,
}

#[derive(Clone, Debug)]
pub struct Ident(pub String);