blob: 6524bbabea30e9190e25e326194e0483f9c312d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--!!! rn006: two sets of mutually-recursive blobs:
--!!! f, g, h are mut rec
--!!! i, j, k are mut rec
module Test where
f x = g x x
i x = j x x
g x y = h x x y
j x y = k x x y
h x y z = f z
k x y z = i z
|