knave 0.13.5

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

use crate::diagnostic::Diagnostics;
use crate::source::Span;
use crate::types::problems::TypeProblems;

pub(super) enum Exhaustiveness {
    Missing(Vec<String>),
    OnlyWithGuards,
    Complete,
}

impl Exhaustiveness {
    pub(super) fn report(&self, span: Span, diagnostics: &mut Diagnostics) {
        if let Exhaustiveness::Missing(cases) = self {
            diagnostics.push(TypeProblems::non_exhaustive_match(cases, span));
        }
    }

    pub(super) fn is_complete_without_guards(&self) -> bool {
        matches!(self, Exhaustiveness::Complete)
    }
}