#12027: ghc 8.0rc4 treats INLINE pragmas for methods with default (implicit) definitions as errors -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: bug | Status: closed Priority: high | Milestone: Component: Compiler | Version: 8.0.1 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I suppose it's conceivable that in some instances you want to inline the default method, and not in others. So we could make it so that a pragma for the (invisible) default-method binding in the instance overrides the one from the class decl. Possible, if there are compelling use-cases. But it's one more thing to specify, explain, implement, and maintain. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12027#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler