knave 0.14.17

A Lisp programming language for humans and agents that infers types and ownership and compiles to readable Rust
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 std::collections::BTreeSet;

use super::boxed_payload::BoxedPayload;
use super::enums::EnumTable;
use super::rust_types::RustTypeTable;
use super::structs::StructTable;
use crate::core::BindingId;

#[derive(Default)]
pub(super) struct TypeDeclarations {
    pub(super) structs: StructTable,
    pub(super) enums: EnumTable,
    pub(super) rust_types: RustTypeTable,
    pub(super) box_binding: Option<BindingId>,
    pub(super) inferred_boxes: BTreeSet<BoxedPayload>,
}

#[cfg(test)]
impl TypeDeclarations {
    pub(super) fn taken_from(program: &mut super::TypedProgram) -> Self {
        Self {
            structs: std::mem::take(&mut program.structs),
            enums: std::mem::take(&mut program.enums),
            rust_types: std::mem::take(&mut program.rust_types),
            box_binding: program.box_binding,
            inferred_boxes: std::mem::take(&mut program.inferred_boxes),
        }
    }
}