[project @ 2001-08-08 14:18:12 by simonmar]

[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds003.stderr

diff --git a/ghc/tests/deSugar/should_compile/ds003.stderr b/ghc/tests/deSugar/should_compile/ds003.stderr
index 7c06692..4eb1190 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds003.stderr
+++ b/ghc/tests/deSugar/should_compile/ds003.stderr
@@ -1,58 +1,5 @@
 
-
-================================================================================
-Desugared:
-Rec {
-f{-r3v,x-}  ::  _forall_
-               [tayV taz7 taza tazl]
-               =>
-               [tayV] -> (taz7, taza) -> PrelBase.Bool{-34,W-} -> [tazl]
-{-# L #-}
-f{-r3v,x-} =
-    _/\_ tayV taz7 taza tazl ->
-       _letrec_ {
-         f_ayi  ::  [tayV]
-                    -> (taz7, taza)
-                    -> PrelBase.Bool{-34,W-}
-                    -> [tazl]
-         {-# L #-}
-         f_ayi =
-             \ ds_dDX  ::  [tayV]
-               {-# L #-}
-               ds_dDX y_r3d  ::  (taz7, taza)
-                      {-# L #-}
-                      y_r3d ds_dDY  ::  PrelBase.Bool{-34,W-}
-                            {-# L #-}
-                            ds_dDY ->
-                 let {
-                   fail_dEj  ::  [tazl]
-                   {-# L #-}
-                   fail_dEj =
-                       case y_r3d of { PrelTup.(,){-62,w-}{i} y_r3h ys_r3i  ->
-                       let {
-                         z_r3j  ::  PrelBase.Bool{-34,W-}
-                         {-# L #-}
-                         z_r3j =
-                             ds_dDY } in
-                       let {
-                         a_r3g  ::  (taz7, taza)
-                         {-# L #-}
-                         a_r3g =
-                             y_r3d } in
-                       let {
-                         x_r3f  ::  [tayV]
-                         {-# L #-}
-                         x_r3f =
-                             ds_dDX
-                       } in  PrelBase.[]{-5i,w-}{i} _@_ tazl;}
-                 } in 
-                   case ds_dDX of {
-                     PrelBase.:{-55,w-}{i} ds_dEq ds_dEr -> fail_dEj;
-                     PrelBase.[]{-5i,w-}{i} ->
-                         case ds_dDY of {
-                           PrelBase.False{-58,w-}{i} -> fail_dEj;
-                           PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ tazl;
-                         };
-                   };
-       } in  f_ayi
-end Rec }
+ds003.hs:5: Warning: Pattern match(es) are overlapped
+    In the definition of `f':
+       f (x : (x1 : (x2 : x3))) ~(y, ys) z = ...
+       f x y True = ...