[project @ 1997-07-30 23:52:45 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / deSugar / ds017.stderr

diff --git a/ghc/compiler/tests/deSugar/ds017.stderr b/ghc/compiler/tests/deSugar/ds017.stderr
deleted file mode 100644 (file)
index bbeb820..0000000
--- a/ghc/compiler/tests/deSugar/ds017.stderr
+++ /dev/null
@@ -1,82 +0,0 @@
-
-
-================================================================================
-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-}])
-{-# 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-}
-         {-# 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}