#335 SPECIALIZE pragma and polymorphic instances

6.2.1
closed-fixed
nobody
Compiler (190)
5
2005-07-22
2004-08-31
Anonymous
No

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

Discussion

  • Simon Marlow
    Simon Marlow
    2004-12-17

    • priority: 5 --> 4
     
    • priority: 4 --> 5
     
  • Logged In: YES
    user_id=50165

    Upping the priority. It's not trivial to do this, but it's still very
    much on my radar

     
  • Logged In: YES
    user_id=50165

    Fixed, at last.

    Simon

     
    • status: open --> closed-fixed