[GHC] #13053: Inferred type for hole is not general enough

[GHC]

#13053: Inferred type for hole is not general enough
-------------------------------------+-------------------------------------
        Reporter:  osa1              |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.1
      Resolution:                    |             Keywords:
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):

 This is Haskell's defaulting rule at work.  See section 4.3.4 of the
 [https://www.haskell.org/onlinereport/haskell2010/ haskell report], and
 GHCi's
 [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html
 #type-defaulting-in-ghci extended defaulting rules].

 I suppose that there could be some modification of the rule to prevent
 defaulting taking place if there were holes lying around... but I'm not
 sure exactly what the modification would be.

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