Enum InferenceError 

pub enum InferenceError {
    ConflictingPredicateColumnType {
        predicate: String,
        column: usize,
        first_rule_index: usize,
        first_type: ScalarType,
        second_rule_index: usize,
        second_type: ScalarType,
    },
}

Errors surfaced by infer_scc_predicate_schemas.

Variants

ConflictingPredicateColumnType

Two rules contributing to the same head predicate disagree on the type of the same column. The first rule that types the column wins first_*; the rule that disagrees wins second_*.

Fields

predicate: String

Head predicate name where the conflict was detected.

column: usize

0-based column index where types disagree.

first_rule_index: usize

Rule index (within the predicate’s rule group) that first typed the column.

first_type: ScalarType

Type derived from the first rule’s body for the head variable at this column.

second_rule_index: usize

Rule index (within the predicate’s rule group) whose derivation conflicts.

second_type: ScalarType

Type derived from the conflicting rule’s body for the head variable at this column.

Trait Implementations

impl Clone for InferenceError

fn clone(&self) -> InferenceError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceError

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

Formats the value using the given formatter.

impl PartialEq for InferenceError

fn eq(&self, other: &InferenceError) -> 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 StructuralPartialEq for InferenceError