[GHC] #11197: Overeager deferred type errors

[GHC]

#11197: Overeager deferred type errors
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  goldfire
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.6.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 dfeuer):

 Does `-fdefer-type-errors` pull its weight as a compiler feature? The
 package mentioned above (`should-not-typecheck`) could arguably be
 improved by using GHCi instead. I think it makes sense to at least
 ''consider'' the alternative of ripping out the feature instead of jumping
 through hoops to fix it. It strikes me as complicated, intrusive, and (to
 my mind) not very useful. But it would be nice to hear whether people find
 it useful for writing programs or for teaching Haskell to beginners.

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