[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / 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