reic 0.1.0

A compiler that just works
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

use lazy_static::lazy_static;
use serde_derive::{Deserialize, Serialize};
use std::{collections::HashMap, sync::Mutex};

use crate::expr::{ScopeType, ReiType};

// ---------------
// SYMBOL TABLE
// ---------------

// easier to parse if cleanly separate code and data
// a class contains data D and methods M, without any other stuff
// a trait contains direct statements of type trait method or type aliases
// Type compound can contain vec of compound data

/// Either int, float, bool, char
// #[derive(Debug, Hash, Serialize)]
// pub struct Primitive(Vec<u8>);
// impl Primitive {
//     pub fn new() -> Self {
//         Self(vec![])
//     }

//     pub fn len(&self) -> usize {
//         self.0.len()
//     }
// }

// What about data? you cant define anything else but data?
// Maybe make it a 'packed' collection

pub type Identifier = String;

/// Encompasses a root scope, a bunch of internal scopes and leaf scopes. Has a bunch of symbols that are in scope
#[derive(Debug, Serialize)]
pub struct ScopeTable {
    scope_type: ScopeType,
    symbols: HashMap<Identifier, ReiType>,
    inner_scopes: Vec<ScopeTable>,
}

impl ScopeTable {
    pub fn new(
        scope_type: ScopeType,
        symbols: HashMap<Identifier, ReiType>,
        inner_scopes: Vec<ScopeTable>,
    ) -> Self {
        Self {
            scope_type,
            symbols,
            inner_scopes,
        }
    }
}