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

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

diff --git a/ghc/compiler/tests/deSugar/ds005.stderr b/ghc/compiler/tests/deSugar/ds005.stderr
deleted file mode 100644 (file)
index 75f16db..0000000
--- a/ghc/compiler/tests/deSugar/ds005.stderr
+++ /dev/null
@@ -1,205 +0,0 @@
-ds005.hs:13: 
-    Warning: Possibly incomplete patterns
-       in the definition of function `mappairs''
-
-
-================================================================================
-Desugared:
-Rec {
-mappairs'{-r3O,x-}  :: 
-    _forall_
-    [t{-anl-} t{-anv-} t{-anx-}]
-    =>
-    (t{-anl-} -> t{-anv-} -> t{-anx-})
-    -> [t{-anl-}]
-    -> [t{-anv-}]
-    -> [t{-anx-}]
-{-# L #-}
-mappairs'{-r3O,x-} =
-    _/\_ t{-anl-} t{-anv-} t{-anx-} ->
-       _letrec_ {
-         mappairs'_anf  :: 
-             (t{-anl-} -> t{-anv-} -> t{-anx-})
-             -> [t{-anl-}]
-             -> [t{-anv-}]
-             -> [t{-anx-}]
-         {-# L #-}
-         mappairs'_anf =
-             \ f_r3x  :: 
-                   t{-anl-} -> t{-anv-} -> t{-anx-}
-               {-# L #-}
-               f_r3x ds_duS  :: 
-                         [t{-anl-}]
-                     {-# L #-}
-                     ds_duS ys_r3A  :: 
-                                [t{-anv-}]
-                            {-# L #-}
-                            ys_r3A ->
-                 let {
-                   fail_duT  :: 
-                       [t{-anx-}]
-                   {-# L #-}
-                   fail_duT =
-                       GHCerr.patError{-8r,p-}
-                           _@_ [t{-anx-}] _string_ "ds005.hs:13|function `mappairs''" } in
-                 let { fail_dwj  :: 
-                           [t{-anx-}]
-                       {-# L #-}
-                       fail_dwj =
-                   let {
-                     fail_dvV  :: 
-                         [t{-anx-}]
-                     {-# L #-}
-                     fail_dvV =
-                         case ds_duS of {
-                           PrelBase.[]{-5i,p-}{i} ->
-                               fail_duT;
-                           PrelBase.:{-55,p-}{i} x_r3J xs_r3K ->
-                               case ys_r3A of {
-                                 PrelBase.[]{-5i,p-}{i} ->
-                                     fail_duT;
-                                 PrelBase.:{-55,p-}{i} y_r3M ys_r3N ->
-                                     let {
-                                       f_r3H  :: 
-                                           t{-anl-} -> t{-anv-} -> t{-anx-}
-                                       {-# L #-}
-                                       f_r3H =
-                                           f_r3x } in
-                                     let {
-                                       ds_dvr  :: 
-                                           t{-anx-}
-                                       {-# L #-}
-                                       ds_dvr =
-                                           f_r3H
-                                               x_r3J y_r3M } in
-                                     let {
-                                       ds_dvv  :: 
-                                           [t{-anx-}]
-                                       {-# L #-}
-                                       ds_dvv =
-                                           mappairs'_anf
-                                               f_r3H xs_r3K ys_r3N
-                                     } in 
-                                       PrelBase.:{-55,p-}{i}
-                                           _@_ t{-anx-} ds_dvr ds_dvv;
-                               };
-                         }
-                   } in 
-                     case ys_r3A of {
-                       PrelBase.:{-55,p-}{i} ds_dw3 ds_dw2 ->
-                           fail_dvV;
-                       PrelBase.[]{-5i,p-}{i} ->
-                           let {
-                             x_r3E  :: 
-                                 [t{-anl-}]
-                             {-# L #-}
-                             x_r3E =
-                                 ds_duS } in
-                           let {
-                             f_r3C  :: 
-                                 t{-anl-} -> t{-anv-} -> t{-anx-}
-                             {-# L #-}
-                             f_r3C =
-                                 f_r3x
-                           } in 
-                             PrelBase.[]{-5i,p-}{i}
-                                 _@_ t{-anx-};
-                     }
-                 } in
-                 case ds_duS of {
-                   PrelBase.:{-55,p-}{i} ds_dwr ds_dwq ->
-                       fail_dwj;
-                   PrelBase.[]{-5i,p-}{i} ->
-                       PrelBase.[]{-5i,p-}{i}
-                           _@_ t{-anx-};
-                 };
-       } in 
-         mappairs'_anf
-end Rec }
-Rec {
-mappairs{-r3P,x-}  :: 
-    _forall_
-    [t{-aoc-} t{-aoh-} t{-aoj-}]
-    =>
-    (t{-aoc-} -> t{-aoh-} -> t{-aoj-})
-    -> [t{-aoc-}]
-    -> [t{-aoh-}]
-    -> [t{-aoj-}]
-{-# L #-}
-mappairs{-r3P,x-} =
-    _/\_ t{-aoc-} t{-aoh-} t{-aoj-} ->
-       _letrec_ {
-         mappairs_anX  :: 
-             (t{-aoc-} -> t{-aoh-} -> t{-aoj-})
-             -> [t{-aoc-}]
-             -> [t{-aoh-}]
-             -> [t{-aoj-}]
-         {-# L #-}
-         mappairs_anX =
-             \ f_r3e  :: 
-                   t{-aoc-} -> t{-aoh-} -> t{-aoj-}
-               {-# L #-}
-               f_r3e ds_dx4  :: 
-                         [t{-aoc-}]
-                     {-# L #-}
-                     ds_dx4 ys_r3h  :: 
-                                [t{-aoh-}]
-                            {-# L #-}
-                            ys_r3h ->
-                 case ds_dx4 of {
-                   PrelBase.[]{-5i,p-}{i} ->
-                       PrelBase.[]{-5i,p-}{i}
-                           _@_ t{-aoj-};
-                   PrelBase.:{-55,p-}{i} x_r3l xs_r3m ->
-                       case ys_r3h of {
-                         PrelBase.[]{-5i,p-}{i} ->
-                             let {
-                               f_r3j  :: 
-                                   t{-aoc-} -> t{-aoh-} -> t{-aoj-}
-                               {-# L #-}
-                               f_r3j =
-                                   f_r3e
-                             } in 
-                               PrelBase.[]{-5i,p-}{i}
-                                   _@_ t{-aoj-};
-                         PrelBase.:{-55,p-}{i} y_r3u ys_r3v ->
-                             let {
-                               xs_r3s  :: 
-                                   [t{-aoc-}]
-                               {-# L #-}
-                               xs_r3s =
-                                   xs_r3m } in
-                             let {
-                               x_r3r  :: 
-                                   t{-aoc-}
-                               {-# L #-}
-                               x_r3r =
-                                   x_r3l } in
-                             let {
-                               f_r3p  :: 
-                                   t{-aoc-} -> t{-aoh-} -> t{-aoj-}
-                               {-# L #-}
-                               f_r3p =
-                                   f_r3e } in
-                             let {
-                               ds_dxR  :: 
-                                   t{-aoj-}
-                               {-# L #-}
-                               ds_dxR =
-                                   f_r3p
-                                       x_r3r y_r3u } in
-                             let {
-                               ds_dxV  :: 
-                                   [t{-aoj-}]
-                               {-# L #-}
-                               ds_dxV =
-                                   mappairs_anX
-                                       f_r3p xs_r3s ys_r3v
-                             } in 
-                               PrelBase.:{-55,p-}{i}
-                                   _@_ t{-aoj-} ds_dxR ds_dxV;
-                       };
-                 };
-       } in 
-         mappairs_anX
-end Rec }