cxc 0.3.1

A high performance scripting language
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

use std::collections::HashMap;

use slotmap::SecondaryMap;

use crate::{parse::Opcode, errors::CResultMany, typ::DestructorType, TypeEnum};

use super::{hlr_data::{FuncRep, ArgIndex}, expr_tree::HNodeData, add_implicit_drops, inline::inline};

pub fn insert_destructors(hlr: &mut FuncRep) -> CResultMany<()> {
    hlr.modify_many_infallible(
        |destructor_id, destructor_data, hlr| {
            let HNodeData::UnarOp { op: Opcode::Destroy, hs, .. } = destructor_data
                else { return };
            let hs = *hs;

            let destructor_type = hlr.tree.get_ref(hs).ret_type();
            let destructor_paths = add_implicit_drops::destructor_paths(&destructor_type);

            if let TypeEnum::Destructor(DestructorType { destructor, .. }) = 
                destructor_type.as_type_enum() {
                let mut inline_arguments = HashMap::new();
                inline_arguments.insert(ArgIndex::Some(0), hs);
                inline(destructor, hlr, inline_arguments, destructor_id);
                *destructor_data = hlr.tree.get(destructor_id);
            } else {
                hlr.tree.remove_node(destructor_id);
            }
        }
    );

    Ok(())
}