flowlog-build 0.3.0

Build-time FlowLog compiler for library mode.
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
31
32
33
34
35
36
37
38

//! Codegen errors — codegen-internal ICEs only.
//!
//! User-facing type/semantic errors are caught earlier by
//! the [`typechecker`] crate. By the time a program reaches codegen every
//! fingerprint, variable, and expression has already been validated; the
//! only failures possible here are invariant violations (missing
//! fingerprint, unreachable match arm) which surface as `please file a
//! bug` ICEs.

use crate::common::FileId;
use crate::common::{BUG_URL, Diagnostic, InternalError};
use codespan_reporting::diagnostic::Diagnostic as CsDiagnostic;
use thiserror::Error;

#[non_exhaustive]
#[derive(Debug, Error)]
pub enum CodegenError {
    #[error(transparent)]
    Internal(#[from] InternalError),
}

impl CodegenError {
    pub(crate) fn internal(detail: impl Into<String>) -> Self {
        Self::Internal(InternalError::new("codegen", detail, BUG_URL))
    }
}

impl Diagnostic for CodegenError {
    fn to_diagnostic(&self) -> CsDiagnostic<FileId> {
        match self {
            CodegenError::Internal(ie) => ie.to_diagnostic(),
        }
    }

    fn is_internal(&self) -> bool {
        matches!(self, CodegenError::Internal(_))
    }
}