ghc/compiler/tests/rename/rn007.hs

   1 --!!! rn007: as rn006, but w/ pattern bindings;
   2 --!!!    also a one-node recursive bindings
   3 --
   4 module Test where
   5
   6 data Foo a = Foo a Int Int
   7
   8 -- a recursive blob of one node
   9 a = a
  10
  11 -- two sets of mutually-recursive blobs:
  12 --  f, g, h are mut rec
  13 --  i, j, k are mut rec
  14
  15 (f1@(f2@(f3@f)), 1) = g 1 1
  16 (i1@(i2@(i3@i)), 1) = j 1 1
  17
  18 (Foo g 1 2) = (h, 1, 1, 2)
  19 (Foo j 1 2) = (k, 1, 1, 2)
  20
  21 (~ ~ ~ ~h, 1, 2, 3) = f 3
  22 (~ ~ ~ ~k, 1, 2, 3) = i 3