[project @ 1997-09-05 14:11:05 by simonm]
[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds017.stderr
index bbeb820..e4096df 100644 (file)
@@ -2,81 +2,65 @@
 
 ================================================================================
 Desugared:
-f{-r3p,x-}  :: 
-    _forall_
-    [t{-aBq-} t{-aBs-} t{-aBd-}]
-    =>
-    t{-aBd-}
-    -> ((t{-aBq-}, t{-aBq-}) -> t{-aBs-})
-    -> t{-aBq-}
-    -> (t{-aBs-}, [t{-aBd-}])
+Rec {
+f{-r3n,x-}  ::  _forall_
+               [tayF tayW taz2]
+               =>
+               tayW -> ((tayF, tayF) -> taz2) -> tayF -> (taz2, [tayW])
 {-# L #-}
-f{-r3p,x-} =
-    _/\_ t{-aBq-} t{-aBs-} t{-aBd-} -> \ x_r3d  :: 
-                                            t{-aBd-}
-                                        {-# L #-}
-                                        x_r3d y_r3f  :: 
-                                                  (t{-aBq-}, t{-aBq-}) -> t{-aBs-}
-                                              {-# L #-}
-                                              y_r3f z_r3h  :: 
-                                                        t{-aBq-}
-                                                    {-# L #-}
-                                                    z_r3h ->
-       let { c_aAS  :: 
-                 t{-aBs-}
-             {-# L #-}
-             c_aAS =
-         let {
-           ds_dEz  :: 
-               (t{-aBq-}, t{-aBq-})
-           {-# L #-}
-           ds_dEz =
-               PrelTup.(,){-62,p-}{i}
-                   {_@_ t{-aBq-} _@_ t{-aBq-} z_r3h z_r3h}
-         } in 
-           y_r3f
-               ds_dEz
-       } in
-       let {
-         c_r3l  :: 
-             t{-aBs-}
+f{-r3n,x-} =
+    _/\_ tayF tayW taz2 ->
+       _letrec_ {
+         f_aya  ::  tayW -> ((tayF, tayF) -> taz2) -> tayF -> (taz2, [tayW])
          {-# L #-}
-         c_r3l =
-             c_aAS } in
-       let { a_aB8  :: 
-                 [t{-aBd-}]
-             {-# L #-}
-             a_aB8 =
-         let {
-           ds_dF5  :: 
-               [t{-aBd-}]
-           {-# L #-}
-           ds_dF5 =
-               PrelBase.[]{-5i,p-}{i}
-                   _@_ t{-aBd-}
-         } in 
-           PrelBase.:{-55,p-}{i}
-               _@_ t{-aBd-} x_r3d ds_dF5
-       } in
-       let {
-         a_r3j  :: 
-             [t{-aBd-}]
-         {-# L #-}
-         a_r3j =
-             a_aB8 } in
-       let {
-         b_aBg  :: 
-             [t{-aBd-}]
-         {-# L #-}
-         b_aBg =
-             PrelBase.:{-55,p-}{i}
-                 _@_ t{-aBd-} x_r3d a_r3j } in
-       let {
-         b_r3k  :: 
-             [t{-aBd-}]
-         {-# L #-}
-         b_r3k =
-             b_aBg
-       } in 
-         PrelTup.(,){-62,p-}{i}
-             {_@_ t{-aBs-} _@_ [t{-aBd-}] c_r3l b_r3k}
+         f_aya =
+             \ x_r3d  ::  tayW
+               {-# L #-}
+               x_r3d y_r3e  ::  (tayF, tayF) -> taz2
+                     {-# L #-}
+                     y_r3e z_r3f  ::  tayF
+                           {-# L #-}
+                           z_r3f ->
+                 let { c_ays  ::  taz2
+                       {-# L #-}
+                       c_ays =
+                   let {
+                     ds_dCV  ::  (tayF, tayF)
+                     {-# L #-}
+                     ds_dCV =
+                         PrelTup.(,){-62,w-}{i} {_@_ tayF _@_ tayF z_r3f z_r3f}
+                   } in  y_r3e ds_dCV
+                 } in
+                 let {
+                   c_r3j  ::  taz2
+                   {-# L #-}
+                   c_r3j =
+                       c_ays } in
+                 let { a_ayK  ::  [tayW]
+                       {-# L #-}
+                       a_ayK =
+                   let {
+                     ds_dDr  ::  [tayW]
+                     {-# L #-}
+                     ds_dDr =
+                         PrelBase.[]{-5i,w-}{i} _@_ tayW
+                   } in  PrelBase.:{-55,w-}{i} _@_ tayW x_r3d ds_dDr
+                 } in
+                 let {
+                   a_r3h  ::  [tayW]
+                   {-# L #-}
+                   a_r3h =
+                       a_ayK } in
+                 let {
+                   b_ayS  ::  [tayW]
+                   {-# L #-}
+                   b_ayS =
+                       PrelBase.:{-55,w-}{i} _@_ tayW x_r3d a_r3h } in
+                 let {
+                   b_r3i  ::  [tayW]
+                   {-# L #-}
+                   b_r3i =
+                       b_ayS
+                 } in  PrelTup.(,){-62,w-}{i} {_@_ taz2 _@_ [tayW] c_r3j b_r3i};
+       } in  f_aya
+end Rec }