ghc/compiler/tests/deSugar/ds023.stderr

   1 Desugared:
   2 {- plain CoRec -}
   3 Tests.f :: for all d, e. <Num e> -> <Eq d> -> d -> e
   4 Tests.f =
   5     /\ t83 t90 -> \ dict.91 dict.84 x.93 ->
   6         ((Tests.g t83) t90) dict.91 dict.84 ((== t83) dict.84 x.93 x.93) x.93
   7 Tests.g :: for all d, e. <Num e> -> <Eq d> -> Bool -> d -> e
   8 Tests.g =
   9     /\ t83 t90 -> \ dict.91 dict.84 b.94 x.95 ->
  10         (abs t90) dict.91 (((Tests.f t83) t90) dict.91 dict.84 x.95)
  11 {- end plain CoRec -}
  12