Struct MatchCompiler 

pub struct MatchCompiler { /* private fields */ }

Pattern match compiler.

Implementations

impl MatchCompiler

pub fn new() -> Self

Create a new match compiler.

pub fn fresh_var(&mut self) -> Name

Generate a fresh variable name.

pub fn register_constructors( &mut self, ind_name: Name, ctors: Vec<ConstructorInfo>, )

Register constructors for an inductive type.

pub fn get_constructors(&self, ind_name: &Name) -> Option<&Vec<ConstructorInfo>>

Get constructors for an inductive type.

pub fn compile_match( &mut self, scrutinees: &[Expr], arms: &[MatchArm], ) -> Result<CompileResult, String>

Compile a match expression.

Takes a list of scrutinees and match arms, produces a decision tree.

pub fn check_exhaustive( &self, patterns: &[Pattern], ind_name: &Name, ) -> Result<(), String>

Check if patterns are exhaustive.

Handles Or-patterns (flattened), As-patterns (inner checked), Var/Wildcard (irrefutable), and constructor coverage.

pub fn check_redundant(&self, patterns: &[Pattern]) -> Vec<usize>

Check if any patterns are redundant.

A pattern is redundant if it is preceded by a wildcard/var, or if a constructor or literal it matches was already covered earlier (including via Or-patterns).

Trait Implementations

impl Default for MatchCompiler

fn default() -> Self

Returns the “default value” for a type.