Enum ResolveError

Source

pub enum ResolveError {
Show 26 variants    UndefinedType {
        name: String,
        line: usize,
        suggestions: Vec<String>,
    },
    GenericArityMismatch {
        name: String,
        expected: usize,
        actual: usize,
        line: usize,
    },
    UndefinedCell {
        name: String,
        line: usize,
        suggestions: Vec<String>,
    },
    UndefinedTrait {
        name: String,
        line: usize,
    },
    UndefinedTool {
        name: String,
        line: usize,
    },
    Duplicate {
        name: String,
        line: usize,
    },
    MissingEffectGrant {
        cell: String,
        effect: String,
        line: usize,
    },
    UndeclaredEffect {
        cell: String,
        effect: String,
        line: usize,
        cause: String,
    },
    EffectContractViolation {
        caller: String,
        callee: String,
        effect: String,
        line: usize,
    },
    NondeterministicOperation {
        cell: String,
        operation: String,
        line: usize,
    },
    MachineUnknownInitial {
        machine: String,
        state: String,
        line: usize,
    },
    MachineUnknownTransition {
        machine: String,
        state: String,
        target: String,
        line: usize,
    },
    MachineUnreachableState {
        machine: String,
        state: String,
        initial: String,
        line: usize,
    },
    MachineMissingTerminal {
        machine: String,
        line: usize,
    },
    MachineTransitionArgCount {
        machine: String,
        state: String,
        target: String,
        expected: usize,
        actual: usize,
        line: usize,
    },
    MachineTransitionArgType {
        machine: String,
        state: String,
        target: String,
        expected: String,
        actual: String,
        line: usize,
    },
    MachineUnsupportedExpr {
        machine: String,
        state: String,
        context: String,
        line: usize,
    },
    MachineGuardType {
        machine: String,
        state: String,
        actual: String,
        line: usize,
    },
    PipelineUnknownStage {
        pipeline: String,
        stage: String,
        line: usize,
    },
    PipelineStageArity {
        pipeline: String,
        stage: String,
        line: usize,
    },
    PipelineStageTypeMismatch {
        pipeline: String,
        from_stage: String,
        to_stage: String,
        expected: String,
        actual: String,
        line: usize,
    },
    CircularImport {
        module: String,
        chain: String,
    },
    ModuleNotFound {
        module: String,
        line: usize,
    },
    ImportedSymbolNotFound {
        symbol: String,
        module: String,
        line: usize,
    },
    TraitMissingMethods {
        trait_name: String,
        target_type: String,
        missing: Vec<String>,
        line: usize,
    },
    TraitMethodSignatureMismatch {
        trait_name: String,
        target_type: String,
        method: String,
        reason: String,
        expected: String,
        actual: String,
        line: usize,
    },
}