ghc/tests/printing/should_compile/Print004.hs

   1 --!!! export a derived thingy which mentions an internal type
   2 --
   3 {- from simonpj; who adds:
   4
   5    It is NOT ENOUGH to put
   6
   7            data OpaqueType deriving(Text)
   8
   9    in the interface
  10 -}
  11
  12 module ExportOpaque( OpaqueType ) where
  13
  14 data OpaqueType a = Con (FunnyInternalType a) deriving(Show)
  15
  16 data FunnyInternalType a = Junk11 | Junk2
  17
  18 instance Ord a => Show (FunnyInternalType a)