Improve "Unification incomplete for case" diagnostics (#116)#138
Open
Rakshitha-Ireddi wants to merge 3 commits intoboyland:masterfrom
Open
Improve "Unification incomplete for case" diagnostics (#116)#138Rakshitha-Ireddi wants to merge 3 commits intoboyland:masterfrom
Rakshitha-Ireddi wants to merge 3 commits intoboyland:masterfrom
Commits
Commits on Jan 13, 2026
- committed
Rakshitha Ireddi
Commits on Mar 29, 2026
- committedRakshitha Ireddi
- committedRakshitha Ireddi