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.
[EMAIL PROTECTED]
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1019758&group_id=8032
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
