X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2FdeSugar%2Fshould_compile%2Fds008.stderr;h=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hb=a12162eaea28f3f617c578a7fa61f184050a4859;hp=efe8c705282f81ed665ab8f7a7525cf38710b760;hpb=432766dfa3217c7f5e18b0e7218111a2550b26a2;p=ghc-hetmet.git

diff --git a/ghc/tests/deSugar/should_compile/ds008.stderr b/ghc/tests/deSugar/should_compile/ds008.stderr
index efe8c70..e69de29 100644
--- a/ghc/tests/deSugar/should_compile/ds008.stderr
+++ b/ghc/tests/deSugar/should_compile/ds008.stderr
@@ -1,95 +0,0 @@
-
-
-================================================================================
-Desugared:
-Rec {
-f{-r3i,x-}  ::  _forall_ [taRU taRS] => taRU -> [taRS]
-{-# L #-}
-f{-r3i,x-} =
-    _/\_ taRU taRS ->
-	_letrec_ {
-	  f_aRJ  ::  taRU -> [taRS]
-	  {-# L #-}
-	  f_aRJ =
-	      \ x_r3f  ::  taRU
-		{-# L #-}
-		x_r3f ->
-		  PrelBase.[]{-5i,w-}{i} _@_ taRS;
-	} in  f_aRJ
-g{-r3m,x-}  ::  _forall_
-		[taSp taSe taSj taSl taSn]
-		=>
-		taSp -> ([taSe], [taSj], [taSl], [taSn])
-{-# L #-}
-g{-r3m,x-} =
-    _/\_ taSp taSe taSj taSl taSn ->
-	_letrec_ {
-	  g_aRW  ::  taSp -> ([taSe], [taSj], [taSl], [taSn])
-	  {-# L #-}
-	  g_aRW =
-	      \ x_r3h  ::  taSp
-		{-# L #-}
-		x_r3h ->
-		  let { ds_dWB  ::  [taSe]
-			{-# L #-}
-			ds_dWB =
-		    let {
-		      ds_dWZ  ::  [GHC.Void{-3T,W-}]
-		      {-# L #-}
-		      ds_dWZ =
-			  PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-}
-		    } in  f{-r3i,x-} _@_ [GHC.Void{-3T,W-}] _@_ taSe ds_dWZ
-		  } in
-		  let {
-		    ds_dWF  ::  [taSj]
-		    {-# L #-}
-		    ds_dWF =
-			PrelBase.[]{-5i,w-}{i} _@_ taSj } in
-		  let {
-		    ds_dWJ  ::  [taSl]
-		    {-# L #-}
-		    ds_dWJ =
-			PrelBase.[]{-5i,w-}{i} _@_ taSl } in
-		  let {
-		    ds_dWN  ::  [taSn]
-		    {-# L #-}
-		    ds_dWN =
-			PrelBase.[]{-5i,w-}{i} _@_ taSn
-		  } in 
-		    PrelTup.(,,,){-64,w-}{i}
-			{_@_ [taSe]
-			 _@_ [taSj]
-			 _@_ [taSl]
-			 _@_ [taSn]
-			 ds_dWB
-			 ds_dWF
-			 ds_dWJ
-			 ds_dWN};
-	} in  g_aRW
-h{-r3l,x-}  ::  _forall_
-		[taSM taSB taSD taSF taSH]
-		=>
-		taSM -> ([taSB], [taSD], [taSF], [taSH])
-{-# L #-}
-h{-r3l,x-} =
-    _/\_ taSM taSB taSD taSF taSH ->
-	_letrec_ {
-	  h_aSr  ::  taSM -> ([taSB], [taSD], [taSF], [taSH])
-	  {-# L #-}
-	  h_aSr =
-	      \ x_r3k  ::  taSM
-		{-# L #-}
-		x_r3k ->
-		  g{-r3m,x-}
-		      _@_ PrelBase.Int{-3g,W-}
-		      _@_ taSB
-		      _@_ taSD
-		      _@_ taSF
-		      _@_ taSH
-		      lit_aVP;
-	} in  h_aSr
-lit_aVP  ::  PrelBase.Int{-3g,W-}
-{-# L #-}
-lit_aVP =
-    PrelBase.I#{-5b,w-}{i} 1
-end Rec }