X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds002.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds002.stderr;h=0000000000000000000000000000000000000000;hb=29b46083beaa048af4b4a68e8f96909ac98a639f;hp=5e6aeeb46d19988a7a2ee0de31bd3b65521e4609;hpb=3436a37c72644f82471a7d8c684d67438b86cc3a;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/deSugar/ds002.stderr b/ghc/compiler/tests/deSugar/ds002.stderr
deleted file mode 100644
index 5e6aeeb..0000000
--- a/ghc/compiler/tests/deSugar/ds002.stderr
+++ /dev/null
@@ -1,74 +0,0 @@
-ds002.hs:8: 
-    Warning: Pattern match(es) completely overlapped
-	in the definition of function `f'
-ds002.hs:9: 
-    Warning: Pattern match(es) completely overlapped
-	in the definition of function `f'
-ds002.hs:13: 
-    Warning: Possibly incomplete patterns
-	in the definition of function `g'
-
-
-================================================================================
-Desugared:
-f{-r3w,x-}  :: 
-    _forall_ [t{-an6-}] => t{-an6-} -> t{-an6-}
-{-# L #-}
-f{-r3w,x-} =
-    _/\_ t{-an6-} -> \ x_r3e  :: 
-			   t{-an6-}
-		       {-# L #-}
-		       x_r3e ->
-	x_r3e
-g{-r3v,x-}  :: 
-    _forall_
-    [t{-anr-} t{-anA-} t{-anC-}]
-    =>
-    t{-anA-} -> t{-anC-} -> t{-anr-} -> t{-anr-}
-{-# L #-}
-g{-r3v,x-} =
-    _/\_ t{-anr-} t{-anA-} t{-anC-} -> \ x_r3k  :: 
-					     t{-anA-}
-					 {-# L #-}
-					 x_r3k y_r3m  :: 
-						   t{-anC-}
-					       {-# L #-}
-					       y_r3m z_r3o  :: 
-							 t{-anr-}
-						     {-# L #-}
-						     z_r3o ->
-	let {
-	  fail_drB  :: 
-	      t{-anr-}
-	  {-# L #-}
-	  fail_drB =
-	      GHCerr.patError{-8r,p-}
-		  _@_ t{-anr-} _string_ "ds002.hs:11|function `g'" } in
-	let { fail_drG  :: 
-		  t{-anr-}
-	      {-# L #-}
-	      fail_drG =
-	  let {
-	    z_r3u  :: 
-		t{-anr-}
-	    {-# L #-}
-	    z_r3u =
-		z_r3o } in
-	  let {
-	    y_r3s  :: 
-		t{-anC-}
-	    {-# L #-}
-	    y_r3s =
-		y_r3m } in
-	  let {
-	    x_r3q  :: 
-		t{-anA-}
-	    {-# L #-}
-	    x_r3q =
-		x_r3k
-	  } in 
-	    f{-r3w,x-}
-		_@_ t{-anr-} z_r3u
-	} in
-	f{-r3w,x-}
-	    _@_ t{-anr-} z_r3o