Enum CompileError 

pub enum CompileError {
    Parse(ParseFileError),
    Elaborate(ElabError),
    Type(TypeError),
    Eval(EvalError),
    NotADocument(&'static str),
    Lower(LowerError),
    CrossVersionUnsupportedName {
        name: String,
        dep: String,
        slice: &'static str,
    },
}

Variants

Parse(ParseFileError)

Elaborate(ElabError)

Type(TypeError)

Eval(EvalError)

NotADocument(&'static str)

Lower(LowerError)

CrossVersionUnsupportedName

A V0_0 dependency spliced into a V0_1 program referenced name, a builtin primitive/type that is version-forked (bound, or shaped, differently between V0_0 and V0_1 — see typecheck::forked_type_names). The merged program’s single base_env_with_version(V0_1) can only bind ONE closure per name, so accepting this would silently mis-resolve name to the WRONG version’s primitive.

The trailing — {} is v1::xver_adapt::forked_note, keyed on name: WHY this particular name cannot cross — a missing bridge feature (a wrapper could be written), or a REPRESENTATION fork (page, font) where the generations disagree about what the runtime value IS and no amount of bridge work helps.

Fields

name: String

dep: String

slice: &'static str

Trait Implementations

impl Debug for CompileError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for CompileError

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for CompileError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<ElabError> for CompileError

fn from(source: ElabError) -> Self

Converts to this type from the input type.

impl From<EvalError> for CompileError

fn from(source: EvalError) -> Self

Converts to this type from the input type.

impl From<LowerError> for CompileError

fn from(source: LowerError) -> Self

Converts to this type from the input type.

impl From<ParseFileError> for CompileError

fn from(source: ParseFileError) -> Self

Converts to this type from the input type.

impl From<TypeError> for CompileError

fn from(source: TypeError) -> Self

Converts to this type from the input type.