id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
255	SPECIALIZE pragma and polymorphic instances	nobody	nobody	"{{{
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
}}}"	bug	closed	normal		Compiler	6.2.1	Fixed