Enum CompilerError 

pub enum CompilerError {
    InvalidCharacter {
        character: char,
        span: Span,
    },
    UnterminatedString {
        span: Span,
    },
    UnterminatedBlockComment {
        span: Span,
    },
    InvalidUnicodeEscape {
        value: String,
        span: Span,
    },
    InvalidNumber {
        value: String,
        span: Span,
    },
    UnexpectedToken {
        expected: String,
        found: String,
        span: Span,
    },
    UnexpectedEof {
        span: Span,
    },
    UndefinedReference {
        name: String,
        span: Span,
    },
    TypeMismatch {
        expected: String,
        found: String,
        span: Span,
    },
    DuplicateDefinition {
        name: String,
        span: Span,
    },
    ModuleNotFound {
        name: String,
        span: Span,
    },
    ModuleReadError {
        path: String,
        error: String,
        span: Span,
    },
    CircularImport {
        cycle: String,
        span: Span,
    },
    PrivateImport {
        name: String,
        span: Span,
    },
    ImportItemNotFound {
        item: String,
        module: String,
        available: String,
        span: Span,
    },
    ParseError {
        message: String,
        span: Span,
    },
    UndefinedType {
        name: String,
        span: Span,
    },
    PrimitiveRedefinition {
        name: String,
        span: Span,
    },
    TraitUsedAsValueType {
        trait_name: String,
        span: Span,
    },
    UndefinedTrait {
        name: String,
        span: Span,
    },
    NotATrait {
        name: String,
        actual_kind: String,
        span: Span,
    },
    MissingTraitField {
        field: String,
        trait_name: String,
        span: Span,
    },
    TraitFieldTypeMismatch {
        field: String,
        trait_name: String,
        expected: String,
        actual: String,
        span: Span,
    },
    CircularDependency {
        cycle: String,
        span: Span,
    },
    InvalidBinaryOp {
        op: String,
        left_type: String,
        right_type: String,
        span: Span,
    },
    ForLoopNotArray {
        actual: String,
        span: Span,
    },
    ArrayDestructuringNotArray {
        actual: String,
        span: Span,
    },
    StructDestructuringNotStruct {
        actual: String,
        span: Span,
    },
    InvalidIfCondition {
        actual: String,
        span: Span,
    },
    MatchNotEnum {
        actual: String,
        span: Span,
    },
    NonExhaustiveMatch {
        missing: String,
        span: Span,
    },
    DuplicateMatchArm {
        variant: String,
        span: Span,
    },
    UnknownEnumVariant {
        variant: String,
        enum_name: String,
        span: Span,
    },
    VariantArityMismatch {
        variant: String,
        expected: usize,
        actual: usize,
        span: Span,
    },
    MissingField {
        field: String,
        type_name: String,
        span: Span,
    },
    UnknownField {
        field: String,
        type_name: String,
        span: Span,
    },
    AssignmentToImmutable {
        span: Span,
    },
    PositionalArgInStruct {
        struct_name: String,
        position: usize,
        span: Span,
    },
    EnumVariantWithoutData {
        variant: String,
        enum_name: String,
        span: Span,
    },
    EnumVariantRequiresData {
        variant: String,
        enum_name: String,
        span: Span,
    },
    MutabilityMismatch {
        param: String,
        span: Span,
    },
    UseAfterSink {
        name: String,
        span: Span,
    },
    GenericArityMismatch {
        name: String,
        expected: usize,
        actual: usize,
        span: Span,
    },
    GenericConstraintViolation {
        arg: String,
        constraint: String,
        span: Span,
    },
    OutOfScopeTypeParameter {
        param: String,
        span: Span,
    },
    MissingGenericArguments {
        name: String,
        span: Span,
    },
    DuplicateGenericParam {
        param: String,
        span: Span,
    },
    ExternFnWithBody {
        function: String,
        span: Span,
    },
    RegularFnWithoutBody {
        function: String,
        span: Span,
    },
    ExternImplWithBody {
        name: String,
        span: Span,
    },
    RequiredParamAfterDefault {
        function: String,
        param: String,
        span: Span,
    },
    NilAssignedToNonOptional {
        expected: String,
        span: Span,
    },
    OptionalUsedAsNonOptional {
        actual: String,
        expected: String,
        span: Span,
    },
    MissingTraitMethod {
        method: String,
        trait_name: String,
        span: Span,
    },
    TraitMethodSignatureMismatch {
        method: String,
        trait_name: String,
        expected: String,
        actual: String,
        span: Span,
    },
    AmbiguousCall {
        function: String,
        span: Span,
    },
    NoMatchingOverload {
        function: String,
        span: Span,
    },
    CannotInferEnumType {
        variant: String,
        span: Span,
    },
    FunctionReturnTypeMismatch {
        function: String,
        expected: String,
        actual: String,
        span: Span,
    },
    ExpressionDepthExceeded {
        span: Span,
    },
    TooManyDefinitions {
        kind: &'static str,
        span: Span,
    },
    VisibilityViolation {
        name: String,
        span: Span,
    },
    ClosureCaptureEscapesLocalBinding {
        binding: String,
        span: Span,
    },
    InternalError {
        detail: String,
        span: Span,
    },
    NumericOverflow {
        written: String,
        target: PrimitiveType,
        span: Span,
    },
    PublicClosureField {
        owner: String,
        field: String,
        span: Span,
    },
}

Compiler error types

Variants

InvalidCharacter

Fields

character: char

span: Span

UnterminatedString

Fields

span: Span

UnterminatedBlockComment

Fields

span: Span

InvalidUnicodeEscape

Fields

value: String

span: Span

InvalidNumber

Fields

value: String

span: Span

UnexpectedToken

Fields

expected: String

found: String

span: Span

UnexpectedEof

Fields

span: Span

UndefinedReference

Fields

name: String

span: Span

TypeMismatch

Fields

expected: String

found: String

span: Span

DuplicateDefinition

Fields

name: String

span: Span

ModuleNotFound

Fields

name: String

span: Span

ModuleReadError

Fields

path: String

error: String

span: Span

CircularImport

Fields

cycle: String

span: Span

PrivateImport

Fields

name: String

span: Span

ImportItemNotFound

Fields

item: String

module: String

available: String

span: Span

ParseError

Fields

message: String

span: Span

UndefinedType

Fields

name: String

span: Span

PrimitiveRedefinition

Fields

name: String

span: Span

TraitUsedAsValueType

A trait name appeared in a type position that produces a value (parameter, return, let annotation, struct/enum field, closure param/return). FormaLang has no dynamic dispatch — trait values must be passed via a generic-bounded parameter (fn foo<T: SomeTrait>(x: T)) so the concrete type is known after monomorphisation.

Fields

trait_name: String

span: Span

UndefinedTrait

Fields

name: String

span: Span

NotATrait

Fields

name: String

actual_kind: String

span: Span

MissingTraitField

Fields

field: String

trait_name: String

span: Span

TraitFieldTypeMismatch

Fields

field: String

trait_name: String

expected: String

actual: String

span: Span

CircularDependency

Fields

cycle: String

span: Span

InvalidBinaryOp

Fields

op: String

left_type: String

right_type: String

span: Span

ForLoopNotArray

Fields

actual: String

span: Span

ArrayDestructuringNotArray

Fields

actual: String

span: Span

StructDestructuringNotStruct

Fields

actual: String

span: Span

InvalidIfCondition

Fields

actual: String

span: Span

MatchNotEnum

Fields

actual: String

span: Span

NonExhaustiveMatch

Fields

missing: String

span: Span

DuplicateMatchArm

Fields

variant: String

span: Span

UnknownEnumVariant

Fields

variant: String

enum_name: String

span: Span

VariantArityMismatch

Fields

variant: String

expected: usize

actual: usize

span: Span

MissingField

Fields

field: String

type_name: String

span: Span

UnknownField

Fields

field: String

type_name: String

span: Span

AssignmentToImmutable

Fields

span: Span

PositionalArgInStruct

Fields

struct_name: String

position: usize

span: Span

EnumVariantWithoutData

Fields

variant: String

enum_name: String

span: Span

EnumVariantRequiresData

Fields

variant: String

enum_name: String

span: Span

MutabilityMismatch

Fields

param: String

span: Span

UseAfterSink

Fields

name: String

span: Span

GenericArityMismatch

Fields

name: String

expected: usize

actual: usize

span: Span

GenericConstraintViolation

Fields

arg: String

constraint: String

span: Span

OutOfScopeTypeParameter

Fields

param: String

span: Span

MissingGenericArguments

Fields

name: String

span: Span

DuplicateGenericParam

Fields

param: String

span: Span

ExternFnWithBody

An extern fn declaration includes a body, which is not allowed.

Fields

function: String

span: Span

RegularFnWithoutBody

A non-extern function is missing its body expression.

Fields

function: String

span: Span

ExternImplWithBody

An extern impl block contains at least one function with a body.

Fields

name: String

span: Span

RequiredParamAfterDefault

A parameter without a default value appears after one with a default value. Default values must be positional from the right (no required parameter may follow a defaulted one, excluding self).

Fields

function: String

param: String

span: Span

NilAssignedToNonOptional

nil literal assigned to a non-optional type.

Fields

expected: String

span: Span

OptionalUsedAsNonOptional

Optional type used where a non-optional is required.

Fields

actual: String

expected: String

span: Span

MissingTraitMethod

A trait implementation is missing a method required by the trait.

Fields

method: String

trait_name: String

span: Span

TraitMethodSignatureMismatch

A method’s signature in an impl block does not match the trait’s declaration.

Fields

method: String

trait_name: String

expected: String

actual: String

span: Span

AmbiguousCall

More than one overload of a function matches the call arguments.

Fields

function: String

span: Span

NoMatchingOverload

No overload of a function matches the call arguments.

Fields

function: String

span: Span

CannotInferEnumType

Fields

variant: String

span: Span

FunctionReturnTypeMismatch

Fields

function: String

expected: String

actual: String

span: Span

ExpressionDepthExceeded

Expression nesting exceeded the compiler recursion limit.

Fields

span: Span

TooManyDefinitions

Module contains more definitions than the ID space allows (> u32::MAX).

Fields

kind: &'static str

span: Span

VisibilityViolation

Attempted to access a private item from outside its defining module.

Fields

name: String

span: Span

ClosureCaptureEscapesLocalBinding

A closure returned from a function captures a binding that does not outlive the function. Only sink parameters and outer-scope bindings may be captured by an escaping closure.

Fields

binding: String

span: Span

InternalError

A compiler invariant was violated during lowering or analysis. This is always a bug in the compiler itself — the detail field documents which invariant failed so it can be reported and fixed.

Fields

detail: String

span: Span

NumericOverflow

An integer literal does not fit in its declared (or default) target primitive — e.g. 2147483648I32 exceeds i32::MAX, or an unsuffixed 9_999_999_999 exceeds the I32 default.

Fields

written: String

target: PrimitiveType

span: Span

PublicClosureField

A pub struct or pub enum variant declares a field whose type is a closure. Closures are an internal abstraction; they cannot be part of a publicly exposed type because they have no stable representation across the module / backend boundary.

Fields

owner: String

Human-readable identity of the offending item, e.g. "struct Form" or "enum Event variant submitted".

field: String

Name of the closure-typed field.

span: Span

Implementations

impl CompilerError

pub const fn span(&self) -> Span

Trait Implementations

impl Clone for CompilerError

fn clone(&self) -> CompilerError

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompilerError

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

Formats the value using the given formatter.

impl Display for CompilerError

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

Formats the value using the given formatter.

impl Error for CompilerError

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 PartialEq for CompilerError

fn eq(&self, other: &CompilerError) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CompilerError

impl StructuralPartialEq for CompilerError