[GHC] #7785: Module-local function not specialized with ConstraintKinds

GHC cvs-ghc at haskell.org
Fri Mar 22 07:04:19 CET 2013


#7785: Module-local function not specialized with ConstraintKinds
------------------------------------+---------------------------------------
Reporter:  akio                     |          Owner:                  
    Type:  bug                      |         Status:  new             
Priority:  normal                   |      Component:  Compiler        
 Version:  7.6.2                    |       Keywords:  specialisation  
      Os:  Unknown/Multiple         |   Architecture:  Unknown/Multiple
 Failure:  Runtime performance bug  |      Blockedby:                  
Blocking:                           |        Related:                  
------------------------------------+---------------------------------------
 In the attached program, 'shared' is not exported and only used with f =
 [], but it doesn't get specialized in the core. On the other hand,
 shared', which does not involve !ConstraintKinds, gets correctly
 specialized.

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



More information about the ghc-tickets mailing list