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