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

diff --git a/ghc/compiler/tests/deSugar/ds012.stderr b/ghc/compiler/tests/deSugar/ds012.stderr
deleted file mode 100644
index a562b3d..0000000
--- a/ghc/compiler/tests/deSugar/ds012.stderr
+++ /dev/null
@@ -1,299 +0,0 @@
-
-
-================================================================================
-Desugared:
-h{-r3l,x-}  :: 
-    _forall_
-    [t{-aHu-} t{-aHz-}]
-    =>
-    {PrelBase.Num{-2c,p-} t{-aHu-}} -> t{-aHz-} -> t{-aHu-}
-{-# L #-}
-h{-r3l,x-} =
-    _/\_ t{-aHu-} t{-aHz-} -> \ d.Num_aHB  :: 
-				    {PrelBase.Num{-2c,p-} t{-aHu-}}
-				{-# L #-}
-				d.Num_aHB ->
-	let {
-	  +_aP0  :: 
-	      t{-aHu-} -> t{-aHu-} -> t{-aHu-}
-	  {-# L #-}
-	  +_aP0 =
-	      PrelBase.+{-r3k,p-}
-		  _@_ t{-aHu-} d.Num_aHB } in
-	let {
-	  d.Num_aHE  :: 
-	      {PrelBase.Num{-2c,p-} t{-aHu-}}
-	  {-# L #-}
-	  d.Num_aHE =
-	      d.Num_aHB } in
-	let {
-	  fromInteger_aOZ  :: 
-	      PrelBase.Integer{-3h,p-} -> t{-aHu-}
-	  {-# L #-}
-	  fromInteger_aOZ =
-	      PrelBase.fromInteger{-8S,p-}
-		  _@_ t{-aHu-} d.Num_aHE } in
-	let {
-	  lit_aOY  :: 
-	      t{-aHu-}
-	  {-# L #-}
-	  lit_aOY =
-	      fromInteger_aOZ
-		  _integer_  111111111111111111111111111111111111111111111111111111111111 } in
-	let {
-	  fromInteger_aOX  :: 
-	      PrelBase.Integer{-3h,p-} -> t{-aHu-}
-	  {-# L #-}
-	  fromInteger_aOX =
-	      fromInteger_aOZ } in
-	let {
-	  lit_aOW  :: 
-	      t{-aHu-}
-	  {-# L #-}
-	  lit_aOW =
-	      fromInteger_aOX
-		  _integer_  222222222222222222222222222222222222222222222222222222222222
-	} in 
-	  \ x_r3j  :: 
-		t{-aHz-}
-	    {-# L #-}
-	    x_r3j ->
-	      +_aP0
-		  lit_aOY lit_aOW
-f{-r3n,x-}  :: 
-    _forall_
-    [t{-aI9-} t{-aIe-}]
-    =>
-    {PrelBase.Num{-2c,p-} t{-aI9-}} -> t{-aIe-} -> t{-aI9-}
-{-# L #-}
-f{-r3n,x-} =
-    _/\_ t{-aI9-} t{-aIe-} -> \ d.Num_aIg  :: 
-				    {PrelBase.Num{-2c,p-} t{-aI9-}}
-				{-# L #-}
-				d.Num_aIg ->
-	let {
-	  +_aNl  :: 
-	      t{-aI9-} -> t{-aI9-} -> t{-aI9-}
-	  {-# L #-}
-	  +_aNl =
-	      PrelBase.+{-r3k,p-}
-		  _@_ t{-aI9-} d.Num_aIg } in
-	let {
-	  d.Num_aIi  :: 
-	      {PrelBase.Num{-2c,p-} t{-aI9-}}
-	  {-# L #-}
-	  d.Num_aIi =
-	      d.Num_aIg } in
-	let {
-	  -_aNk  :: 
-	      t{-aI9-} -> t{-aI9-} -> t{-aI9-}
-	  {-# L #-}
-	  -_aNk =
-	      PrelBase.-{-817,p-}
-		  _@_ t{-aI9-} d.Num_aIi } in
-	let {
-	  +_aN8  :: 
-	      t{-aI9-} -> t{-aI9-} -> t{-aI9-}
-	  {-# L #-}
-	  +_aN8 =
-	      +_aNl } in
-	let {
-	  d.Num_aIl  :: 
-	      {PrelBase.Num{-2c,p-} t{-aI9-}}
-	  {-# L #-}
-	  d.Num_aIl =
-	      d.Num_aIg } in
-	let {
-	  fromInt_aNj  :: 
-	      PrelBase.Int{-3g,p-} -> t{-aI9-}
-	  {-# L #-}
-	  fromInt_aNj =
-	      PrelBase.fromInt{-8R,p-}
-		  _@_ t{-aI9-} d.Num_aIl } in
-	let { lit_aNi  :: 
-		  t{-aI9-}
-	      {-# L #-}
-	      lit_aNi =
-	  let {
-	    ds_dQX  :: 
-		PrelBase.Int{-3g,p-}
-	    {-# L #-}
-	    ds_dQX =
-		PrelBase.I#{-5b,p-}{i}
-		    1
-	  } in 
-	    fromInt_aNj
-		ds_dQX
-	} in
-	let {
-	  fromInt_aNh  :: 
-	      PrelBase.Int{-3g,p-} -> t{-aI9-}
-	  {-# L #-}
-	  fromInt_aNh =
-	      fromInt_aNj } in
-	let { lit_aNg  :: 
-		  t{-aI9-}
-	      {-# L #-}
-	      lit_aNg =
-	  let {
-	    ds_dRc  :: 
-		PrelBase.Int{-3g,p-}
-	    {-# L #-}
-	    ds_dRc =
-		PrelBase.I#{-5b,p-}{i}
-		    2
-	  } in 
-	    fromInt_aNh
-		ds_dRc
-	} in
-	let {
-	  fromInt_aNf  :: 
-	      PrelBase.Int{-3g,p-} -> t{-aI9-}
-	  {-# L #-}
-	  fromInt_aNf =
-	      fromInt_aNj } in
-	let { lit_aNe  :: 
-		  t{-aI9-}
-	      {-# L #-}
-	      lit_aNe =
-	  let {
-	    ds_dRr  :: 
-		PrelBase.Int{-3g,p-}
-	    {-# L #-}
-	    ds_dRr =
-		PrelBase.I#{-5b,p-}{i}
-		    3
-	  } in 
-	    fromInt_aNf
-		ds_dRr
-	} in
-	let {
-	  d.Num_aIp  :: 
-	      {PrelBase.Num{-2c,p-} t{-aI9-}}
-	  {-# L #-}
-	  d.Num_aIp =
-	      d.Num_aIg } in
-	let {
-	  *_aNd  :: 
-	      t{-aI9-} -> t{-aI9-} -> t{-aI9-}
-	  {-# L #-}
-	  *_aNd =
-	      PrelBase.*{-rcJ,p-}
-		  _@_ t{-aI9-} d.Num_aIp } in
-	let {
-	  fromInt_aNc  :: 
-	      PrelBase.Int{-3g,p-} -> t{-aI9-}
-	  {-# L #-}
-	  fromInt_aNc =
-	      fromInt_aNj } in
-	let { lit_aNb  :: 
-		  t{-aI9-}
-	      {-# L #-}
-	      lit_aNb =
-	  let {
-	    ds_dRP  :: 
-		PrelBase.Int{-3g,p-}
-	    {-# L #-}
-	    ds_dRP =
-		PrelBase.I#{-5b,p-}{i}
-		    4
-	  } in 
-	    fromInt_aNc
-		ds_dRP
-	} in
-	let {
-	  fromInt_aNa  :: 
-	      PrelBase.Int{-3g,p-} -> t{-aI9-}
-	  {-# L #-}
-	  fromInt_aNa =
-	      fromInt_aNj } in
-	let { lit_aN9  :: 
-		  t{-aI9-}
-	      {-# L #-}
-	      lit_aN9 =
-	  let {
-	    ds_dS4  :: 
-		PrelBase.Int{-3g,p-}
-	    {-# L #-}
-	    ds_dS4 =
-		PrelBase.I#{-5b,p-}{i}
-		    5
-	  } in 
-	    fromInt_aNa
-		ds_dS4
-	} in
-	\ x_r3f  :: 
-	      t{-aIe-}
-	  {-# L #-}
-	  x_r3f ->
-	    let { ds_dSk  :: 
-		      t{-aI9-}
-		  {-# L #-}
-		  ds_dSk =
-	      let {
-		ds_dSw  :: 
-		    t{-aI9-}
-		{-# L #-}
-		ds_dSw =
-		    +_aN8
-			lit_aNi lit_aNg
-	      } in 
-		-_aNk
-		    ds_dSw lit_aNe
-	    } in
-	    let {
-	      ds_dSo  :: 
-		  t{-aI9-}
-	      {-# L #-}
-	      ds_dSo =
-		  *_aNd
-		      lit_aNb lit_aN9
-	    } in 
-	      +_aNl
-		  ds_dSk ds_dSo
-g{-r3m,x-}  :: 
-    _forall_
-    [t{-aID-}]
-    =>
-    {PrelBase.Num{-2c,p-} t{-aID-}} -> t{-aID-} -> t{-aID-}
-{-# L #-}
-g{-r3m,x-} =
-    _/\_ t{-aID-} -> \ d.Num_aIH  :: 
-			   {PrelBase.Num{-2c,p-} t{-aID-}}
-		       {-# L #-}
-		       d.Num_aIH ->
-	let {
-	  +_aTf  :: 
-	      t{-aID-} -> t{-aID-} -> t{-aID-}
-	  {-# L #-}
-	  +_aTf =
-	      PrelBase.+{-r3k,p-}
-		  _@_ t{-aID-} d.Num_aIH } in
-	let {
-	  d.Num_aIJ  :: 
-	      {PrelBase.Num{-2c,p-} t{-aID-}}
-	  {-# L #-}
-	  d.Num_aIJ =
-	      d.Num_aIH } in
-	let {
-	  f_aTe  :: 
-	      t{-aID-} -> t{-aID-}
-	  {-# L #-}
-	  f_aTe =
-	      f{-r3n,x-}
-		  _@_ t{-aID-} _@_ t{-aID-} d.Num_aIJ
-	} in 
-	  \ x_r3h  :: 
-		t{-aID-}
-	    {-# L #-}
-	    x_r3h ->
-	      let {
-		ds_dTJ  :: 
-		    t{-aID-}
-		{-# L #-}
-		ds_dTJ =
-		    f_aTe
-			x_r3h
-	      } in 
-		+_aTf
-		    x_r3h ds_dTJ