blob: 4b8dcd7e3907fddaf8a47d37d5033a4131ad3a9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE RankNTypes, 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"
|