-
Simon Peyton Jones authored
Add a test to reject things like: instance Ord a => Ord (forall s. T s a) g :: T s (forall b.b) The for-alls are illegal in type arguments!
2d1987b1
Add a test to reject things like: instance Ord a => Ord (forall s. T s a) g :: T s (forall b.b) The for-alls are illegal in type arguments!