ghc/tests/typecheck/should_fail/tcfail086.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Check that we can't derive instances of existential types
   4 module ShouldFail where
   5
   6 data Ex = forall a. Ex [a] deriving( Eq )
   7