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