ghc/compiler/tests/stranal/syn.lhs

   1 THIS TEST IS FOR TYPE SYNONIMS AND FACTORISATION IN THEIR PRESENCE.
   2
   3 > data M a = A | B a (M a)
   4 > data L a = N | C a (Syn a)
   5 > type Syn b = L b
   6 >
   7 > idL :: L (Syn c) -> L (Syn c)
   8 > idL N       = N
   9 > idL (C x l) = C x (idL l)
  10 >
  11 > idM:: M (L (Syn x)) -> M (L (Syn x))
  12 > idM A       = A
  13 > idM (B x l) = B (idL x) (idM l)
  14