Skip to main content

compile_module_framed

Function compile_module_framed 

Source
pub fn compile_module_framed(
    src: &str,
    frame: &[Text],
) -> Result<Rc<ModuleData>, Error>
Expand description

Compile Elly module source against a frame of ordered names.

References to frame names resolve to de Bruijn locals. Lookup order: enclosing binders $\to$ imports $\to$ module items $\to$ frame. Module imports occupy the leading frame slots.