haloumi-ir 0.4.0

Intermediate representation of the haloumi framework.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Error type.

use std::convert::Infallible;

use thiserror::Error;

/// IR error type.
#[derive(Error, Clone, Debug)]
pub enum Error {
    /// Happens while lowering [`IRBexpr`](crate::expr::IRBexpr) with no arguments (i.e. an empty
    /// `and` expression).
    #[error("Boolean expression with no elements")]
    EmptyBexpr,
    /// Happens while constant folding a [`IRBexpr`](crate::expr::IRBexpr) that folds into `false`.
    #[error("Detected {0} statement with predicate evaluating to 'false': {1}")]
    FoldedFalseStmt(&'static str, String),
}

impl From<Infallible> for Error {
    fn from(_value: Infallible) -> Self {
        unreachable!()
    }
}