#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
     
  • Simon Peyton Jones

    • priority: 4 --> 5
     
  • Simon Peyton Jones

    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

     
  • Simon Peyton Jones

    Logged In: YES
    user_id=50165

    Fixed, at last.

    Simon

     
  • Simon Peyton Jones

    • status: open --> closed-fixed
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks