id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
7402	Warn about possible missing -XScopedTypeVariables on errors.	Aninhumer		"Suggest that the user they may wish to add -XScopedTypeVariables, if an error results from a free type variable which would be bound in its scope with the flag enabled. (i.e. if its name exists as a variable in the type declaration).

I ran into this problem on code similar to this:
{{{
instance (Sized a n, Nat n) => Rep a where
    emptyRep = replicate (toInt (undefined :: n)) 0
}}}
and it took me some time to solve, and only by having vague knowledge that such a flag existed."	feature request	closed	normal		Compiler	7.6.1	fixed			Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown