blob: 6b9f50751e2ab1cf43a52da46489934dc544872d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE Rank2Types, FlexibleInstances #-}
-- !!! Check that forall types can't be arguments
module ShouldFail where
data T s a = MkT s a
instance Ord a => Ord (forall s. T s a)
-- A for-all should not appear as an argument to Ord
g :: T s (forall b.b)
g = error "urk"
|