error

Types

Reason

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

missing_references

</>

pub fn missing_references(
  errors: List(#(a, Reason)),
) -> List(tree.Reference)

resolve

</>

pub fn resolve(
  reason: Reason,
  bindings: dict.Dict(Int, binding.Binding),
) -> Reason

Resolves the types embedded in a diagnostic using the retained bindings.