ghc/compiler/ilxGen/tests/test3.hs

   1 foreign import "ilxHello" unsafe ilxHello :: IO ()
   2 foreign import "ilxBad" unsafe ilxBad :: IO ()
   3
   4 class  Eqq a  where
   5     eqq         :: a -> Bool
   6     eqq2        :: a -> Bool
   7
   8 --    x /= y            = not (x == y)
   9 --    x == y            = not (x /= y)
  10 --    x /= y            =  True
  11     eqq x               =  False
  12     eqq2 x              =  True
  13
  14
  15 data  Unit  =  Unit
  16
  17 instance Eqq Unit
  18 --  where
  19 --    eqq Unit = True
  20 --    eqq2 Unit = False
  21
  22 choose x = if eqq x then ilxHello else if eqq2 x then ilxBad else ilxBad
  23
  24 main = choose Unit