ghc/tests/typecheck/should_fail/tcfail088.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   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"