#1465: Type errors due to different package versions are a bit cryptic
----------------------------------------+-----------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.8
Component: Compiler (Type checker) | Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Easy (1 hr)
Os: Unknown | Testcase: tcfail182
Architecture: Unknown |
----------------------------------------+-----------------------------------
Comment (by Isaac Dupree):
That sounds reasonable to me. Because, trouble is, type-identity in
Haskell is ''defined'' by the identity of the defining module... although
it would be just as accurate to say that the entire set of
package×modules it's exported from define its identity (from the point of
view of the type's user), and those could be listed or one of them chosen.
Except ... a type's ''name'' doesn't necessarily even have to be exported
anywhere for it to be causing type errors (admittedly a bad practice to be
exporting things whose type signature cannot be written externally).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1465>
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
