Method compile_program

crates/hll-to-ir/src/compiler/compiler.rs:151–261

(&mut self, program: &Program)

            source_lines: Vec::new(),
        }
    }

    pub fn set_type_prelude(&mut self, types: Vec<(String, IrType)>) {
        self.prelude_types = types;
    }

    /// Import aliases that resolve to the string module's format runtime.
    pub fn set_format_aliases(&mut self, aliases: std::collections::HashSet<String>) {
        self.format_aliases = aliases;
    }

    /// Name attributed to pc-to-source line markers emitted while lowering.
    pub fn set_source_file(&mut self, file: &str) {
        self.source_file = file.to_owned();
    }

    /// Lines added by the source prelude, subtracted from marker line numbers so
    /// they index into the user's file (prelude statements are dropped).
    pub fn set_source_line_offset(&mut self, lines: u32) {
        self.source_line_offset = lines;
    }

    /// The user source (prelude-free), so lowering diagnostics can quote the
    /// offending line. Line N of `source` backs a diagnostic on line N.
    pub fn set_source_lines(&mut self, source: &str) {
        self.source_lines = source.lines().map(str::to_owned).collect();
    }
}

impl Default for HighLevelCompiler {
    fn default() -> Self {
        Self::new()
    }
}

impl HighLevelCompiler {
    pub fn compile_program(&mut self, program: &Program) -> Result<IrProgram, CompilerError> {
        log::info!(
            "Starting IR compilation for {} declarations",
            program.declarations.len()
        );

        let mut semantic_analyzer = SemanticAnalyzer::new();
        if semantic_analyzer.analyze_program(program).is_err() {
            // Collect semantic diagnostics whole, keeping their spans and levels
            for diagnostic in semantic_analyzer.diagnostics() {
                self.context.diagnostics.push(diagnostic.clone());
            }
            log::warn!(
                "Semantic analysis found errors, continuing with compilation for diagnostics"
            );
        }

        self.context.reset_for_program();
        self.context.types.register_types(&self.prelude_types);
        self.next_temp = 0;
        self.next_label = 0;
        self.pending_global_strings.clear();