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