Struct CompileReport 

pub struct CompileReport {
    pub unreachable_clauses: Vec<usize>,
}

What the compiler noticed on the way through, beyond the term itself.

Fields

unreachable_clauses: Vec<usize>

Clause indices no input can ever select, because an earlier clause already covers everything they do. First-match semantics makes them dead rather than wrong, so this is information for the surface to surface.

★ WHAT LEAN DOES WITH THE SAME FACT, and it is not what the previous sentence here claimed. Lean does NOT quietly accept a redundant alternative: Lean/Elab/Match.lean:999 calls logError "redundant alternative" for every index in result.unusedAltIdxs, and the run on this box confirms it — def h : Hue → Bool | .ruby => true | .jade => false | _ => true answers error: redundant alternative. The error is non-fatal (#eval h Hue.ruby still prints true, so the declaration is added), and Lean/Elab/Match.lean:985-988 declares the option that turns it off: match.ignoreUnusedAlts, default false.

So the MEANING is the same in both compilers and only the default severity differs: LOGOS behaves as Lean does under set_option match.ignoreUnusedAlts true. What is still missing is the report reaching a reader — literate_parser::parse_consider discards this census, so a dead clause is silent rather than merely non-fatal. That needs a warning channel on Command, which this module does not own.

Trait Implementations

impl Clone for CompileReport

fn clone(&self) -> CompileReport

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompileReport

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for CompileReport

fn default() -> CompileReport

Returns the “default value” for a type.

impl PartialEq for CompileReport

fn eq(&self, other: &CompileReport) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CompileReport

impl StructuralPartialEq for CompileReport