#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