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