ghc/compiler/tests/rename/rn008.hs

   1 module Test where
   2
   3 -- two sets of mutually-recursive blobs:
   4 --  f, g, h are mut rec
   5 --  i, j, k are mut rec
   6
   7 (f1@(f2@(f3@f)), 1) = g 1 1
   8 (i1@(i2@(i3@i)), 1) = j 1 1
   9
  10 (Foo g 1 2) = (h, 1, 1, 2)
  11 (Foo j 1 2) = (k, 1, 1, 2)
  12
  13 (~ ~ ~ ~h, 1, 2, 3) = f 3
  14 (~ ~ ~ ~k, 1, 2, 3) = i 3