#5084: Error message with INLINE/SPECIALISE pragma for class method ---------------------------------+------------------------------------------ Reporter: batterseapower | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.0.3 | Keywords: Testcase: | Blockedby: Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: GHC accepts invalid program ---------------------------------+------------------------------------------ The INLINE/SPECIALISE pragmas in a class declaration apply to the *default methods* in that declaration. However, no error is given if such a pragma is given when no corresponding default method exists, as in this example:
{{{ class Foo a where bar :: a -> a {-# INLINE bar #-} }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5084> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs