[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / deSugar / ds012.stderr
1 Desugared:
2 Tests.f :: for all d, e. <Num e> -> d -> e
3 Tests.f =
4     /\ o81 t82 -> \ dict.101 ->
5         let dict.99 = dict.101 in
6         let dict.97 = dict.99 in
7         let dict.94 = dict.97 in
8         let dict.91 = dict.94 in
9         let dict.89 = dict.91 in
10         let dict.87 = dict.89 in
11         let dict.85 = dict.87 in
12         let dict.83 = dict.85 in
13         let
14           f.80 =
15               \ x.63 ->
16                   (+ t82)
17                       dict.83
18                       ((- t82)
19                            dict.85
20                            ((+ t82)
21                                 dict.87
22                                 ((fromInteger t82) dict.89 (MkInteger! 1##))
23                                 ((fromInteger t82) dict.91 (MkInteger! 2##)))
24                            ((fromInteger t82) dict.94 (MkInteger! 3##)))
25                       ((* t82)
26                            dict.97
27                            ((fromInteger t82) dict.99 (MkInteger! 4##))
28                            ((fromInteger t82) dict.101 (MkInteger! 5##)))
29         in  f.80
30 Tests.g :: for all d. <Num d> -> d -> d
31 Tests.g =
32     /\ t110 -> \ dict.111 ->
33         let dict.108 = dict.111 in
34         let
35           g.105 =
36               \ x.64 ->
37                   (+ t110) dict.108 x.64 (((Tests.f t110) t110) dict.111 x.64)
38         in  g.105
39 Tests.h :: for all d, e. <Num e> -> d -> e
40 Tests.h =
41     /\ o115 t120 -> \ dict.121 ->
42         let dict.119 = dict.121 in
43         let dict.117 = dict.119 in
44         let
45           h.114 =
46               \ x.65 ->
47                   (+ t120)
48                       dict.117
49                       ((fromInteger t120)
50                            dict.119
51                            (MkInteger!
52                                 111111111111111111111111111111111111111111111111111111111111##))
53                       ((fromInteger t120)
54                            dict.121
55                            (MkInteger!
56                                 222222222222222222222222222222222222222222222222222222222222##))
57         in  h.114
58