91e0e2493a
Let's consider the following case:
```
type Var =
Integer
type Vars =
List<Var>
```
This incorrectly reports an infinite cycle; due to the inability to
properly type-check `Var` which is also a dependent var of `Vars`. Yet
the real issue here being that `Integer` is an unknown type.
This commit also upgrades miette to 7.2.0, so that we can also display
a better error output when the problem is actually a cycle.
|
||
|---|---|---|
| .. | ||
| aiken_project__export__tests__basic_export.snap | ||
| aiken_project__export__tests__cannot_export_generics.snap | ||
| aiken_project__export__tests__illegal_opaque_type.snap | ||
| aiken_project__export__tests__recursive_types.snap | ||