haloumi-picus 0.5.5

Haloumi backend to the Picus Constraint Language.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
use crate::pcl::note::Note;

#[derive(Debug, thiserror::Error)]
pub enum ExprArgsError {
    #[error("Idx {idx} is out of bounds for {place} (size = {size}){note}")]
    OutOfBounds {
        idx: usize,
        place: &'static str,
        size: usize,
        note: Note,
    },
    #[error("Was expecting {expected} expression{note}")]
    UnexpectedExprType { expected: &'static str, note: Note },
}