#4525: Type synonyms not expanded consistently in errors
--------------------------------------+-------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 7.2.1
Component: Compiler (Type checker) | Version: 7.1
Resolution: fixed | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
--------------------------------------+-------------------------------------
Changes (by igloo):
* status: new => closed
* resolution: => fixed
Comment:
Fixed in HEAD by:
{{{
[Fix Trac #4525: report type errors in terms of the immediate type synonym
[email protected]**20101224082520
Ignore-this: a3bd076bfe0e1c6f575b106f77f326c6
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
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4525#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
