Skip to main content

compile_clauses_reporting

logicaffeine_kernel::interface::match_compile

Function compile_clauses_reporting 

Source 
pub fn compile_clauses_reporting(
    ctx: &Context,
    scrutinees: &[Term],
    result_type: &Term,
    clauses: &[Clause],
) -> KernelResult<(Term, CompileReport)>
Expand description

compile_clauses, plus what the compiler noticed.