lisette-semantics 0.1.0

Little language inspired by Rust that compiles to Go
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

use rustc_hash::FxHashMap as HashMap;

use syntax::ast::Literal;

pub type TagId = String;
pub type TypeName = String;

pub type Row = Vec<NormalizedPattern>;

#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct Constructor {
    pub tag_id: TagId,
    pub arity: usize,
}

pub type Union = Vec<Constructor>;

#[derive(Clone, Debug, PartialEq)]
pub enum NormalizedPattern {
    Wildcard,
    Literal(Literal),
    Constructor {
        type_name: TypeName,
        tag: TagId,
        args: Vec<NormalizedPattern>,
    },
}

pub type UnionTable = HashMap<TypeName, Union>;