ghc/tests/typecheck/should_run/tcrun005.hs

   1 -- !!! Dfun naming bug
   2
   3 module Main where
   4
   5
   6   data TT  = TT
   7   data TTT = TTT
   8
   9   class CC  a where
  10         op_cc :: a -> a
  11
  12   class CCT a where
  13         op_cct :: a -> a
  14
  15   -- These two instances should get different dfun names!
  16   -- In GHC 4.04 they both got $fCCTTT
  17
  18   instance CC TTT where
  19         op_cc = id
  20
  21   instance CCT TT where
  22         op_cct = id
  23
  24   main = case op_cc TTT of
  25            TTT -> print "ok"