[GHC] #11197: Overeager deferred type errors

[GHC]

#11197: Overeager deferred type errors
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  goldfire
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Compiler (Type    |              Version:  7.11
  checker)                           |             Keywords:  TypeInType,
      Resolution:                    |  DeferredErrors
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > comment:14 All I can think of is to make a special case for coercions,
 and be willing to float them in, on the grounds that evidence bindings are
 added by the compiler and should have as narrow scope as possible.

 This would be very easy to try, if anyone feels inclined.  I could advise.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11197#comment:21>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler