#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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
