Skip to main content

compile_clauses_reporting

logicaffeine_cli::interface::match_compile

Function compile_clauses_reporting 

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

compile_clauses, plus what the compiler noticed.