sui-spec 0.1.15

Declarative Lisp-authored specs for CppNix-parity behaviors. Rust types are the hard boundary; Lisp forms are the free-middle authoring surface. Both engines (tree-walker + VM) drive the same spec, so they cannot drift.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Errors produced while loading or interpreting sui-spec specs.

use thiserror::Error;

#[derive(Error, Debug)]
pub enum SpecError {
    #[error("spec load error: {0}")]
    Load(String),

    #[error("spec compile error: {0}")]
    Compile(String),

    #[error("interpreter error in {phase}: {message}")]
    Interp { phase: String, message: String },

    #[error("unbound slot {0} — earlier phase never wrote to it")]
    UnboundSlot(String),
}

impl From<tatara_lisp::LispError> for SpecError {
    fn from(err: tatara_lisp::LispError) -> Self {
        SpecError::Compile(err.to_string())
    }
}