#1775: type families: poor error massages when lacking instances
----------------------+-----------------------------------------------------
Reporter: guest | Owner: chak
Type: bug | Status: closed
Priority: normal | Milestone: 6.10 branch
Component: Compiler | Version: 6.8
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------+-----------------------------------------------------
Changes (by chak):
* status: new => closed
* resolution: => fixed
Comment:
With the new solver, we get the more conventional error message:
{{{
/Users/chak/Code/haskell/Bug2.hs:13:8:
Couldn't match expected type `Elem [a]' against inferred type `a'
`a' is a rigid type variable bound by
the instance declaration at
/Users/chak/Code/haskell/Bug2.hs:12:21
In the expression: (:)
In the definition of `cons': cons = (:)
In the instance declaration for `Collection [a]'
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1775#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
