eyg/analysis/type_/binding/error
Types
pub type Reason {
Todo
MissingVariable(String)
MissingBuiltin(String)
MissingReference(v1.Cid)
UndefinedRelease(package: String, release: Int, module: v1.Cid)
TypeMismatch(isomorphic.Type(Int), isomorphic.Type(Int))
MissingRow(String)
Recursive
SameTail(isomorphic.Type(Int), isomorphic.Type(Int))
}
Constructors
-
Todo -
MissingVariable(String) -
MissingBuiltin(String) -
MissingReference(v1.Cid) -
UndefinedRelease(package: String, release: Int, module: v1.Cid) -
TypeMismatch(isomorphic.Type(Int), isomorphic.Type(Int)) -
MissingRow(String) -
Recursive -
SameTail(isomorphic.Type(Int), isomorphic.Type(Int))