[GHC] #8278: Improve error message when the same type is imported from two different library versions

[GHC]

#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