[GHC] #7906: INLINEABLE on class method triggers the error for INLINE

GHC cvs-ghc at haskell.org
Sat May 11 18:58:16 CEST 2013


#7906: INLINEABLE on class method triggers the error for INLINE
----------------------------------------------+-----------------------------
Reporter:  guest                              |          Owner:                  
    Type:  bug                                |         Status:  new             
Priority:  normal                             |      Component:  Compiler        
 Version:  7.6.3                              |       Keywords:                  
      Os:  Unknown/Multiple                   |   Architecture:  Unknown/Multiple
 Failure:  Incorrect warning at compile-time  |      Blockedby:                  
Blocking:                                     |        Related:                  
----------------------------------------------+-----------------------------
 {{{
 class Foo f where
     foo :: f
 {-# INLINEABLE foo #-}
 }}}
 causes the following error
 {{{
     The INLINE pragma for `foo' lacks an accompanying binding
       (You cannot give a INLINE pragma for a record selector or class
 method)
 }}}

 Which incorrectly refers to INLINE and not the used INLINEABLE.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7906>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the ghc-tickets mailing list