id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4525,Type synonyms not expanded consistently in errors,igloo,,"With this module:
{{{
type Foo = Int

x :: Char
x = f

f :: Foo
f = 5
}}}
GHC says:
{{{
g.hs:5:5:
    Couldn't match expected type `Char' with actual type `Int'
    Expected type: Char
      Actual type: Foo
    In the expression: f
    In an equation for `x': x = f
}}}
Note that the first line talks about `Int`, whereas the third line talks about `Foo`. I'd expect both to talk about `Foo`.
",bug,closed,normal,7.4.1,Compiler (Type checker),7.1,fixed,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,,,,,