Enum ModuleError 

#[non_exhaustive]
pub enum ModuleError {
    DuplicateName {
        name: String,
    },
    EmptyName,
    UnknownFunction {
        func: FuncId,
    },
    UnknownGlobal {
        global: GlobalId,
    },
    UnknownAggregate {
        agg: AggId,
    },
    AggregateTooLarge,
    BadAlignment {
        align: u64,
    },
    InitSizeMismatch {
        size: u64,
        found: u64,
    },
    RelocOutOfRange {
        offset: u64,
    },
    ImportWithData,
    CannotDefineImport {
        func: FuncId,
    },
    AlreadyDefined {
        func: FuncId,
    },
    NotDefined {
        func: FuncId,
    },
    CapacityExceeded,
}

Why a module-level declaration was refused.

Every variant names what was wrong, so a front end can report it against its own source. The enum is #[non_exhaustive].

Examples

use ir_lang::{Linkage, Module, ModuleError, Signature};

let mut m = Module::new("m");
let sig = Signature::new(&[], &[]);
m.declare_function("f", &sig, Linkage::Export)?;
let err = m.declare_function("f", &sig, Linkage::Export).unwrap_err();
assert_eq!(err, ModuleError::DuplicateName { name: "f".into() });

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

DuplicateName

A function or global with this name already exists. Symbol names are one namespace per module.

Fields

name: String

The repeated name.

EmptyName

A symbol name was empty.

UnknownFunction

The function handle does not name a declaration of this module.

Fields

func: FuncId

The handle.

UnknownGlobal

The global handle does not name a declaration of this module.

Fields

global: GlobalId

The handle.

UnknownAggregate

An aggregate names an aggregate that is not declared before it.

Fields

agg: AggId

The handle.

AggregateTooLarge

An aggregate’s size exceeds MAX_AGGREGATE_SIZE.

BadAlignment

An alignment is zero, not a power of two, or larger than allowed.

Fields

align: u64

The alignment.

InitSizeMismatch

A global’s initializer length differs from its declared size.

Fields

size: u64

The declared size.

found: u64

The initializer length.

RelocOutOfRange

A relocation does not fit inside its global (offset + pointer size > size).

Fields

offset: u64

The relocation offset.

ImportWithData

An imported global was given an initializer or relocations.

CannotDefineImport

An imported function cannot have a body.

Fields

func: FuncId

The function.

AlreadyDefined

The function already has a body (use Module::edit to change it).

Fields

func: FuncId

The function.

NotDefined

The function has no body yet (use Module::build to create one).

Fields

func: FuncId

The function.

CapacityExceeded

A table of the module reached its capacity (u32::MAX - 1 entries).

Trait Implementations

impl Clone for ModuleError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleError

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

Formats the value using the given formatter.

impl Display for ModuleError

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

Formats the value using the given formatter.

impl Eq for ModuleError

impl Error for ModuleError

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 ModuleError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ModuleError