mirror of
https://github.com/roc-lang/roc.git
synced 2025-07-24 15:03:46 +00:00
49a92e5ef1
Sometimes, we might need to fixpoint-fix a unification like [ Bar [ Bar <a>, Foo ], Foo ] as <a> 🛠️ [ Bar <b>, Foo ] as <b> where we hit a comparison between <a> and <b>. In this case, follow each recursion point independently and see if we can find the chain to the needle we were searching for. Closes #5476 |
||
|---|---|---|
| .. | ||
| src | ||
| tests | ||
| Cargo.toml | ||