SPECIALIZE pragma and polymorphic instances
Given a polymorphic specialization like
f :: (Storable a, Eq a) => T a
{-# SPECIALIZE f :: T (Ptr a) #-}
GHC does not produce the requested polymorphic
specialization, but if we use f at the ground types T
(Ptr Foo) and T (Ptr Bar), we get a specialization for
each, and these are essentially the same.
ross@soi.city.ac.uk
Trac metadata
Trac field |
Value |
Version |
6.2.1 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
ResolvedFixed |
Component |
Compiler |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|