#8278: Improve error message when the same type is imported from two different library versions -------------------------------------------------+------------------------- Reporter: Yuras | Owner: Type: feature request | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: fixed | Version: 7.6.3 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: | Unknown/Multiple typecheck/should_fail/tcfail182 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * status: new => closed * testcase: => typecheck/should_fail/tcfail182 * resolution: => fixed Comment: Good idea. Much improved now I think: {{{ Couldn't match expected type ‛T8278a.Maybe’ with actual type ‛Maybe a0’ NB: ‛T8278a.Maybe’ is defined in ‛T8278a’ ‛Maybe’ is defined in ‛Data.Maybe’ in package ‛base’ In the first argument of ‛f’, namely ‛Nothing’ }}} However implementing the idea in Comment 2 is much harder. If you think it's important and/or you trip over it a lot in practice, please open a new ticket. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8278#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler