[GHC] #7803: Superclass methods are left unspecialized

GHC cvs-ghc at haskell.org
Tue Apr 2 03:14:30 CEST 2013


#7803: Superclass methods are left unspecialized
-----------------------------------------+----------------------------------
Reporter:  akio                          |          Owner:                  
    Type:  bug                           |         Status:  new             
Priority:  normal                        |      Component:  Compiler        
 Version:  7.6.2                         |       Keywords:                  
      Os:  Unknown/Multiple              |   Architecture:  Unknown/Multiple
 Failure:  Compile-time performance bug  |      Blockedby:                  
Blocking:                                |        Related:                  
-----------------------------------------+----------------------------------
 In the attached code, Foo.foo1 gets compiled (by ghc -O2) into a call to
 the unspecialized version of Lib.exp5Tail, even though all the related
 functions are marked INLINE or SPECIALIZE.

 The problem seems to be that GHC creates a top-level overloaded function
 after the specialization pass, so the function never gets specialized.

 This might be the same issue as #7785, but the workaround I posted there
 does not work here.

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



More information about the ghc-tickets mailing list