logicaffeine-compile 0.9.0

LOGOS compilation pipeline - codegen and interpreter
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//! Error types for program extraction.

use std::fmt;

/// Errors that can occur during extraction.
#[derive(Debug)]
pub enum ExtractError {
    /// Name not found in context.
    NotFound(String),

    /// Cannot extract this kind of term (e.g., Prop).
    NotExtractable { name: String, reason: String },

    /// Internal extraction error.
    Internal(String),
}

impl fmt::Display for ExtractError {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            ExtractError::NotFound(name) => write!(f, "Not found: {}", name),
            ExtractError::NotExtractable { name, reason } => {
                write!(f, "Cannot extract '{}': {}", name, reason)
            }
            ExtractError::Internal(msg) => write!(f, "Internal error: {}", msg),
        }
    }
}

impl std::error::Error for ExtractError {}