From: simonpj@microsoft.com <unknown>
Date: Fri, 24 Dec 2010 08:25:20 +0000 (+0000)
Subject: Fix Trac #4525: report type errors in terms of the immediate type synonym
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=06cadfcbac371e8f2d58c04c331bc8f54df5e60b;hp=06cadfcbac371e8f2d58c04c331bc8f54df5e60b;p=ghc-hetmet.git

Fix Trac #4525: report type errors in terms of the immediate type synonym

This small change means that if you have
     type Age = Int
and you try to unify Age and Bool, you'll get a complaint about
not matching Age and Bool, rather than Int and Bool.  See the notes
with Trac #4525
---