Enum ParseErrorKind 

pub enum ParseErrorKind {
    UnexpectedToken {
        expected: TokenType,
        found: TokenType,
    },
    ExpectedContentWord {
        found: TokenType,
    },
    ExpectedCopula,
    UnknownQuantifier {
        found: TokenType,
    },
    UnknownModal {
        found: TokenType,
    },
    ExpectedVerb {
        found: TokenType,
    },
    ExpectedTemporalAdverb,
    ExpectedPresuppositionTrigger,
    ExpectedFocusParticle,
    ExpectedScopalAdverb,
    ExpectedSuperlativeAdjective,
    ExpectedComparativeAdjective,
    ExpectedThan,
    ExpectedNumber,
    EmptyRestriction,
    GappingResolutionFailed,
    StativeProgressiveConflict,
    UndefinedVariable {
        name: String,
    },
    UseAfterMove {
        name: String,
    },
    IsValueEquality {
        variable: String,
        value: String,
    },
    ZeroIndex,
    ExpectedStatement,
    ExpectedKeyword {
        keyword: String,
    },
    ExpectedExpression,
    ExpectedIdentifier,
    RespectivelyLengthMismatch {
        subject_count: usize,
        object_count: usize,
    },
    TypeMismatch {
        expected: String,
        found: String,
    },
    TypeMismatchDetailed {
        expected: String,
        found: String,
        context: String,
    },
    InfiniteType {
        var_description: String,
        type_description: String,
    },
    ArityMismatch {
        function: String,
        expected: usize,
        found: usize,
    },
    FieldNotFound {
        type_name: String,
        field_name: String,
        available: Vec<String>,
    },
    NotAFunction {
        found_type: String,
    },
    InvalidRefinementPredicate,
    GrammarError(String),
    ScopeViolation(String),
    UnresolvedPronoun {
        gender: Gender,
        number: Number,
    },
    TrailingTokens {
        found: TokenType,
    },
    AstTooDeep {
        depth: usize,
        max_depth: usize,
    },
    Custom(String),
}

Variants

UnexpectedToken

Fields

expected: TokenType

found: TokenType

ExpectedContentWord

Fields

found: TokenType

ExpectedCopula

UnknownQuantifier

Fields

found: TokenType

UnknownModal

Fields

found: TokenType

ExpectedVerb

Fields

found: TokenType

ExpectedTemporalAdverb

ExpectedPresuppositionTrigger

ExpectedFocusParticle

ExpectedScopalAdverb

ExpectedSuperlativeAdjective

ExpectedComparativeAdjective

ExpectedThan

ExpectedNumber

EmptyRestriction

GappingResolutionFailed

StativeProgressiveConflict

UndefinedVariable

Fields

name: String

UseAfterMove

Fields

name: String

IsValueEquality

Fields

variable: String

value: String

ZeroIndex

ExpectedStatement

ExpectedKeyword

Fields

keyword: String

ExpectedExpression

ExpectedIdentifier

RespectivelyLengthMismatch

Subject and object lists have different lengths in a “respectively” construction.

Fields

subject_count: usize

object_count: usize

TypeMismatch

Type mismatch during static type checking.

Fields

expected: String

found: String

TypeMismatchDetailed

Type mismatch with context (e.g., “in argument 2 of ‘compute’”).

Fields

expected: String

found: String

context: String

InfiniteType

A type variable would occur in its own definition (e.g., T = List<T>).

Fields

var_description: String

type_description: String

ArityMismatch

Wrong number of arguments in a function call.

Fields

function: String

expected: usize

found: usize

FieldNotFound

A field name does not exist on the struct type.

Fields

type_name: String

field_name: String

available: Vec<String>

NotAFunction

Tried to call something that is not a function.

Fields

found_type: String

InvalidRefinementPredicate

Invalid refinement predicate in a dependent type.

GrammarError(String)

Grammar error (e.g., “its” vs “it’s”).

ScopeViolation(String)

DRS scope violation (pronoun trapped in negation, disjunction, etc.).

UnresolvedPronoun

Unresolved pronoun in discourse mode - no accessible antecedent found.

Fields

gender: Gender

number: Number

TrailingTokens

The parser finished a sentence with input left over — accepting it would silently drop the remainder’s meaning.

Fields

found: TokenType

AstTooDeep

The program’s AST nests deeper than every downstream walker (optimizer, codegen, interpreter, VM compiler) can safely recurse — the depth gate rejects it here so no surface ever stack-overflows.

Fields

depth: usize

The measured (or exceeded) nesting depth.

max_depth: usize

The enforced limit (crate::ast_depth::max_ast_depth).

Custom(String)

Custom error message (used for escape analysis, zone errors, etc.).

Trait Implementations

impl Clone for ParseErrorKind

fn clone(&self) -> ParseErrorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParseErrorKind

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

Formats the value using the given formatter.