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