Improve name-printing on unification mis-matches, when types share a common occurrenc...
authorsimonpj@microsoft.com <unknown>
Fri, 29 Jun 2007 11:48:33 +0000 (11:48 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 29 Jun 2007 11:48:33 +0000 (11:48 +0000)
commitf493bc7c7325a3809dda3637c12e5d9383ba8117
tree3b7f2e22dfd769732253258e01d74c310adde6ff
parented2f8e2a6ec160a0e57028fbfd4a9c5a3a5e083d
Improve name-printing on unification mis-matches, when types share a common occurrence name

This improvement arose from a suggestion in Trac #1465
compiler/main/HscTypes.lhs
compiler/typecheck/TcType.lhs
compiler/typecheck/TcUnify.lhs