eyg/analysis/type_/binding/error
Types
pub type Reason {
Todo
MissingVariable(String)
MissingBuiltin(String)
MissingReference(reference: tree.Reference)
TypeMismatch(isomorphic.Type(Int), isomorphic.Type(Int))
MissingRow(String)
Recursive
SameTail(isomorphic.Type(Int), isomorphic.Type(Int))
}
Constructors
-
Todo -
MissingVariable(String) -
MissingBuiltin(String) -
MissingReference(reference: tree.Reference) -
TypeMismatch(isomorphic.Type(Int), isomorphic.Type(Int)) -
MissingRow(String) -
Recursive -
SameTail(isomorphic.Type(Int), isomorphic.Type(Int))
Values
pub fn missing_references(
errors: List(#(a, Reason)),
) -> List(tree.Reference)