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

//! High-level intermediate representation
//!
//! This intermediate representation is very similar to a typical abstract syntax tree,
//! but with some desugaring applied.

mod hir_impl;
pub mod hir_nodes;

mod hir_context;
use debris_common::{CodeId, Ident, Span};
pub use hir_context::HirContext;

use hir_nodes::{HirBlock, HirModule};

mod identifier;
pub use identifier::{IdentifierPath, SpannedIdentifier};

pub use hir_impl::HirFile;
use indexmap::IndexSet;

/// The hir representation of an input file and all of its dependencies
#[derive(Debug)]
pub struct Hir {
    pub main_function: HirBlock,
    pub code_id: CodeId,
    pub imported_modules: Vec<HirModule>,
}

/// Keeps track of all imported modules, uses indexes as keys
#[derive(Debug, Default)]
pub struct ImportDependencies {
    modules: IndexSet<Ident>,
    /// The spans that correspond to the modules.
    /// Access via the index of the module
    spans: Vec<Span>,
}

impl ImportDependencies {
    /// Inserts a dependency and the code span and returns its index
    pub fn insert(&mut self, value: Ident, span: Span) -> usize {
        let (index, inserted) = self.modules.insert_full(value);

        // If the module is already listed,
        // ignore the span of the second import
        if inserted {
            self.spans.push(span);
        }

        index
    }

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

    pub fn is_empty(&self) -> bool {
        self.modules.is_empty()
    }

    pub fn get(&self, index: usize) -> (&Ident, Span) {
        (&self.modules[index], self.spans[index])
    }

    pub fn iter(&self) -> impl Iterator<Item = (&Ident, Span)> {
        self.modules
            .iter()
            .enumerate()
            .map(move |(index, ident)| (ident, self.spans[index]))
    }
}

#[cfg(test)]
mod tests {
    use debris_common::{Code, CompilationId, CompileContext};
    use debris_error::SingleCompileError;

    use crate::{HirFile, ImportDependencies};

    fn parse(input: &str) -> Result<HirFile, Vec<SingleCompileError>> {
        let mut ctx = CompileContext::new(CompilationId(0));
        let id = ctx.add_input_file(Code {
            path: None,
            source: input.into(),
        });
        let code_ref = ctx.input_files.get_code_ref(id);
        HirFile::from_code(code_ref, &ctx, &mut ImportDependencies::default())
    }

    #[test]
    fn test_not_parses_large_int_literal() {
        let input = "let a = 2147483648";
        assert!(parse(input).is_err());
    }
}