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,
    },
    InvalidRefinementPredicate,
    GrammarError(String),
    ScopeViolation(String),
    UnresolvedPronoun {
        gender: Gender,
        number: Number,
    },
    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

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

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.