id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
1316	add warning for local type signatures that use the same type variable names as outer type signatures	Isaac Dupree	simonpj	"for a (poor) example,
{{{
f :: a -> a
f x = x
   where
     g :: a  --this is (forall x. x) not the 'a' from f's type signature
             -- So, warn about this signature.
     g = undefined
}}}
Because it is likely to be confusing, as well as interfering with any possibility of the type variables being considered scoped by default.  In fact, this may be a helpful/explanatory message in cases where there will also be a type error due to the type variables not actually being scoped.  (although, detecting those cases particularly and giving a recommended solution for how to give such a type signature, would be a more difficult endeavor (what to recommend?))"	feature request	new	normal	_|_	Compiler	6.6.1				Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown