id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
5718	Misplaced SPECIALIZE instance pragma silently ignored	asr		"The user's guide for GHC 7.2.2 says that a SPECIALIZE instance pragma must occur inside the ''where'' part of the instance declaration
(http://www.haskell.org/ghc/docs/7.2.2/html/users_guide/pragmas.html#specialize-instance-pragma), but it is not checked by GHC 7.2.2 (GHC 7.4.1 RC1 (7.4.0.20111219) correctly yields an error in this situation).

For example, the following code is accepted
{{{
data Foo a = MkFoo a

{-# SPECIALIZE instance Eq (Foo Int) #-}
instance (Eq a) => Eq (Foo a) where
  MkFoo a1 == MkFoo a2 = a1 == a2
}}}

I don't understand the core code, but using the flags -ddump-simpl-stats and -dppr-debug I see a different output with/without a misplaced SPECIALIZE instance pragma, so I guess the pragma is being silently ignored. Can anyone confirm this please?"	bug	closed	normal		Compiler	7.2.1	wontfix			Unknown/Multiple	Unknown/Multiple	GHC accepts invalid program	Unknown