blob: 6282a3e5cc90941f93115675a74920d4fe233cbd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Desugared:
Test.f :: for all d. d -> d
Test.f = /\ o95 -> \ x.129 -> x.129
Test.g :: for all d, e, f. d -> e -> f -> f
Test.g = /\ o98 o99 t101 -> \ x.130 y.131 z.132 -> (Test.f t101) z.132
Test.j :: for all d, e, f, g. d -> e -> f -> g -> g
Test.j =
/\ t108 t109 o106 t110 -> \ w.133 x.134 y.135 z.136 ->
(((Test.g t108) t109) t110) w.133 x.134 z.136
Test.h :: for all d, e, f. d -> f -> e -> f
Test.h =
/\ o113 t119 t120 -> \ x.139 y.140 ->
let f.145 = /\ o141 o142 -> \ a.143 b.144 -> a.143
in ((f.145 t119) t120) y.140
Test.b :: for all d. d -> d
Test.b = /\ t123 -> Test.f t123
Test.a :: for all d. d -> d
Test.a = /\ t126 -> Test.b t126
{- plain CoRec -}
Test.c :: for all d. d
Test.c = /\ t127 -> Test.c t127
{- end plain CoRec -}
|
