-
Evgenii Akentev authored
* [Backpack]: improve the error message in case of a mutually recursive unit during unification. * Review fix: remove either, fail in UnifyM Co-authored-by:mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Evgenii Akentev authored* [Backpack]: improve the error message in case of a mutually recursive unit during unification. * Review fix: remove either, fail in UnifyM Co-authored-by:
Loading