[ ghc-Bugs-1019758 ] SPECIALIZE pragma and polymorphic instances

[SourceForge.net]

Bugs item #1019758, was opened at 2004-08-31 15:14
Message generated for change (Settings changed) made by simonmar
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1019758&group_id=8032

Category: Compiler
Group: 6.2.1
Status: Open
Resolution: None
>Priority: 4
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: SPECIALIZE pragma and polymorphic instances

Initial Comment:
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 at soi.city.ac.uk

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1019758&group_id=8032