Skip to content

GHC
GHC
Closed
Opened by Richard Eisenberg@rae
Report abuse New issue

Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical

These Notes cover similar ground but say different things.

Linked issues