Add HsSyn prettyprinter tests
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail088.hs
1 {-# LANGUAGE RankNTypes, FlexibleInstances #-}
2
3 -- !!! Check that forall types can't be arguments
4 module ShouldFail where
5
6
7 data T s a = MkT s a
8
9 instance Ord a => Ord (forall s. T s a)
10 -- A for-all should not appear as an argument to Ord
11
12
13
14 g :: T s (forall b.b)
15 g = error "urk"