caffeine_lang/frontend/validator
Types
Errors that can occur during validation.
pub type ValidatorError {
DuplicateExtendable(name: String)
UndefinedExtendable(name: String, referenced_by: String)
DuplicateExtendsReference(name: String, referenced_by: String)
InvalidExtendableKind(
name: String,
expected: String,
got: String,
)
UndefinedTypeAlias(name: String, referenced_by: String)
DuplicateTypeAlias(name: String)
CircularTypeAlias(name: String, cycle: List(String))
InvalidDictKeyTypeAlias(
alias_name: String,
resolved_to: String,
referenced_by: String,
)
}
Constructors
-
DuplicateExtendable(name: String) -
UndefinedExtendable(name: String, referenced_by: String) -
DuplicateExtendsReference(name: String, referenced_by: String) -
InvalidExtendableKind( name: String, expected: String, got: String, ) -
UndefinedTypeAlias(name: String, referenced_by: String) -
DuplicateTypeAlias(name: String) -
CircularTypeAlias(name: String, cycle: List(String)) -
InvalidDictKeyTypeAlias( alias_name: String, resolved_to: String, referenced_by: String, )