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

Values

pub fn missing_references(
  errors: List(#(a, Reason)),
) -> List(v1.Cid)
Search Document