projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05fd4e9) | patch
Fix Trac #4525: report type errors in terms of the immediate type synonym
authorsimonpj@microsoft.com <unknown>
Fri, 24 Dec 2010 08:25:20 +0000 (08:25 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 24 Dec 2010 08:25:20 +0000 (08:25 +0000)
commit06cadfcbac371e8f2d58c04c331bc8f54df5e60b
tree9f48264ccd477e4630fe95732f8c5f65b4de8eeatree | snapshot
parent05fd4e9ddd2fb1d76dc9b8733353105eeea3a3d4commit | diff
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
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)