X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2FdeSugar%2Fshould_compile%2Fds003.stderr;h=4eb1190c4997cdea6bf6335b701a27d9bbf9c8e1;hb=0161fb7f6f98cc3943444595e0b3726c85e9361f;hp=7c06692e9840052872e7b33eaeb1880e42bc0f37;hpb=80d19100a3aabd62ece8582332d6b5ea6f66bdf5;p=ghc-hetmet.git

diff --git a/ghc/tests/deSugar/should_compile/ds003.stderr b/ghc/tests/deSugar/should_compile/ds003.stderr
index 7c06692..4eb1190 100644
--- 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 = ...