ghc/compiler/tests/typecheck/should_fail/tcfail060.hs

   1 --!! The class export shouldn't be allowed to succeed
   2 --
   3 module Foo ( Baz(..) ) where
   4
   5 class Baz a where
   6     opx :: Int -> Bar -> a -> a
   7
   8 data Bar = Bar X
   9 data X = Y