#5978: Type error in one function causes wrong type error report in another
function in the presence of functionally dependent types
------------------------------------------+---------------------------------
Reporter: Lemming | Owner:
Type: bug | Status: closed
Priority: low | Milestone: 7.6.1
Component: Compiler (Type checker) | Version: 7.4.1
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Difficulty: Unknown
Testcase: typecheck/should_fail/T5978 | Blockedby:
Blocking: | Related:
------------------------------------------+---------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => typecheck/should_fail/T5978
* resolution: => fixed
Comment:
Recent changes in the type inference engine mean that you now get just one
error, and on `monoBar`. To be honest I'm not 100% certain of why this has
come right, and that means I'm not certain that the solution is robust
(mabye it's a fluke). But I'm sort of time, so I'm closing the ticket.
But I'm adding the test as a regression test so we'll know immediately if
it stops working.
Thanks for the example.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5978#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
