[project @ 1999-03-16 12:31:55 by simonpj]

[project @ 1999-03-16 12:31:55 by simonpj]
Make it only a warning if you have a type like this:

	forall a. Int -> Int

These show up in interface files occasionally, just because
the simplifier is a bit blase about adding type arguments.

But it's an error to have

	forall a. Eq a => Int -> Int

The flag -fwarn-unused-matches reports a warning for these
redundant for-alls.