ghc/compiler/tests/stranal/ins.lhs

   1 TEST OF DEFACTORISATION FOR FUNCTIONS THAT DROP
   2              POLYMORPHIC VARIABLES
   3
   4 > module Test where
   5 > data Boolean = FF | TT
   6 > data Pair a b = MkPair a b
   7 > data LList alpha = Nill | Conss alpha (LList alpha)
   8 > data Nat = Zero | Succ Nat
   9 > data Tree x = Leaf x | Node (Tree x) (Tree x)
  10 > data A a = MkA a (A a)
  11 >
  12 > append :: LList a -> LList a -> LList a
  13 > append  xs ys  = case xs of
  14 >                   Nill -> ys
  15 >                   Conss z zs  -> Conss z (append zs ys)
  16
  17 The following function drops @b@.
  18
  19 > flat :: Tree (Pair a b) -> LList a
  20 > flat t =  case t of
  21 >               Leaf (MkPair a b) -> Conss a Nill
  22 >               Node l r -> append (flat l) (flat r)
  23 >
  24 > fl :: Boolean -> LList Boolean
  25 > fl x = flat (Leaf (MkPair TT Zero))
  26 >
  27