[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / deSugar / ds033.stderr
1 Desugared:
2 Test.g1 :: for all d. d -> d
3 Test.g1 = /\ o91 -> \ y.119 -> y.119
4 Test.f1 :: for all d. d -> d
5 Test.f1 = /\ t95 -> \ x.120 -> (Test.g1 t95) x.120
6 Test.g2 :: for all d. d -> d
7 Test.g2 = /\ o98 -> \ y.121 -> y.121
8 Test.f2 :: for all d. d -> d
9 Test.f2 = /\ t102 -> \ x.122 -> (Test.g2 t102) x.122
10 {- plain CoRec -}
11 Test.f3 :: for all d, e. d -> e
12 Test.f3 = /\ o109 o110 -> \ x.123 -> ((Test.g3 o109) o110) x.123
13 Test.g3 :: for all d, e. d -> e
14 Test.g3 = /\ o109 o110 -> \ y.124 -> ((Test.f3 o109) o110) y.124
15 {- end plain CoRec -}
16 {- plain CoRec -}
17 Test.g4 :: for all d, e. d -> e
18 Test.g4 = /\ o117 o118 -> \ y.125 -> ((Test.f4 o117) o118) y.125
19 Test.f4 :: for all d, e. d -> e
20 Test.f4 = /\ o117 o118 -> \ x.126 -> ((Test.g4 o117) o118) x.126
21 {- end plain CoRec -}
22