#4525: Type synonyms not expanded consistently in errors
----------------------------------------+-----------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler (Type checker) | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------------+-----------------------------------
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`.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4525>
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
