X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds010.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds010.stderr;h=35eedef2adfd21b2e9f7283a7377c332e8ae3a37;hb=40cc9182affda1964b480f5d251200d853ce2327;hp=cfc1caedb6dd1800832cf11a47b6b5e78b0c630a;hpb=bc2a4d6b2f9badfa98aa01d6ae550110e0eea0ed;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/deSugar/ds010.stderr b/ghc/compiler/tests/deSugar/ds010.stderr
index cfc1cae..35eedef 100644
--- a/ghc/compiler/tests/deSugar/ds010.stderr
+++ b/ghc/compiler/tests/deSugar/ds010.stderr
@@ -1,228 +1,338 @@
+
+
+================================================================================
 Desugared:
-Test.z :: [(Char, Char, Char, Char, Char, Char, Char, Char, Char, Char)]
-Test.z =
-    let
-      {- CoRec -}
-      ds.136 =
-	  \ ds.137 ->
-	      case ds.137 of {
-		Nil ->
-		    Nil (Char,
-			 Char,
-			 Char,
-			 Char,
-			 Char,
-			 Char,
-			 Char,
-			 Char,
-			 Char,
-			 Char)
-		(:) ds.138 ds.139 ->
-		    let a.140 = ds.138
-		    in 
-		      let
-			{- CoRec -}
-			ds.141 =
-			    \ ds.142 ->
-				case ds.142 of {
-				  Nil -> ds.136 ds.139
-				  (:) ds.143 ds.144 ->
-				      let b.145 = ds.143
-				      in 
-					let
-					  {- CoRec -}
-					  ds.146 =
-					      \ ds.147 ->
-						  case ds.147 of {
-						    Nil -> ds.141 ds.144
-						    (:) ds.148 ds.149 ->
-							let c.150 = ds.148
-							in 
-							  let
-							    {- CoRec -}
-							    ds.151 =
-								\ ds.152 ->
-								    case
-									ds.152
-								    of {
-								      Nil ->
-									  ds.146
-									      ds.149
-								      (:) ds.153
-									  ds.154 ->
-									  let
-									    d.155 =
-										ds.153
-									  in 
-									    let
-									      {- CoRec -}
-									      ds.156 =
-										  \ ds.157 ->
-										      case
-											  ds.157
-										      of {
-											Nil ->
-											    ds.151
-												ds.154
-											(:) ds.158
-											    ds.159 ->
-											    let
-											      e.160 =
-												  ds.158
-											    in 
-											      let
-												{- CoRec -}
-												ds.161 =
-												    \ ds.162 ->
-													case
-													    ds.162
-													of {
-													  Nil ->
-													      ds.156
-														  ds.159
-													  (:) ds.163
-													      ds.164 ->
-													      let
-														f.165 =
-														    ds.163
-													      in 
-														let
-														  {- CoRec -}
-														  ds.166 =
-														      \ ds.167 ->
-															  case
-															      ds.167
-															  of {
-															    Nil ->
-																ds.161
-																    ds.164
-															    (:) ds.168
-																ds.169 ->
-																let
-																  g.170 =
-																      ds.168
-																in 
-																  let
-																    {- CoRec -}
-																    ds.171 =
-																	\ ds.172 ->
-																	    case
-																		ds.172
-																	    of {
-																	      Nil ->
-																		  ds.166
-																		      ds.169
-																	      (:) ds.173
-																		  ds.174 ->
-																		  let
-																		    h.175 =
-																			ds.173
-																		  in 
-																		    let
-																		      {- CoRec -}
-																		      ds.176 =
-																			  \ ds.177 ->
+Rec {
+d.Monad_aWF  :: 
+    {PrelBase.Monad{-28,p-} PrelBase.[]{-3j,p-}}
+{-# L #-}
+d.Monad_aWF =
+    PrelBase.$d24{-rq8,p-}
+>>=_a11I  :: 
+    _forall_
+    [rjI{-aWJ-} rjJ{-aWK-}]
+    =>
+    [rjI{-aWJ-}] -> (rjI{-aWJ-} -> [rjJ{-aWK-}]) -> [rjJ{-aWK-}]
+{-# L #-}
+>>=_a11I =
+    PrelBase.>>={-811,p-}
+	_@_ PrelBase.[]{-3j,p-} d.Monad_aWF
+d.Monad_aWI  :: 
+    {PrelBase.Monad{-28,p-} PrelBase.[]{-3j,p-}}
+{-# L #-}
+d.Monad_aWI =
+    d.Monad_aWF
+return_a11P  :: 
+    _forall_ [rjQ{-aWL-}] => rjQ{-aWL-} -> [rjQ{-aWL-}]
+{-# L #-}
+return_a11P =
+    PrelBase.return{-816,p-}
+	_@_ PrelBase.[]{-3j,p-} d.Monad_aWI
+z_aW0  :: 
+    [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+{-# L #-}
+z_aW0 =
+    _letrec_ {
+      ds_d12r  :: 
+	  [PrelBase.Char{-38,p-}]
+	  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+      {-# L #-}
+      ds_d12r =
+	  \ ds_d12w  :: 
+		[PrelBase.Char{-38,p-}]
+	    {-# L #-}
+	    ds_d12w ->
+	      case ds_d12w of {
+		PrelBase.[]{-5i,p-}{i} ->
+		    PrelBase.[]{-5i,p-}{i}
+			{_@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})};
+		PrelBase.:{-55,p-}{i} ds_d12I ds_d12R ->
+		    let {
+		      a_r3d  :: 
+			  PrelBase.Char{-38,p-}
+		      {-# L #-}
+		      a_r3d =
+			  ds_d12I } in
+		    _letrec_ {
+		      ds_d12X  :: 
+			  [PrelBase.Char{-38,p-}]
+			  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+		      {-# L #-}
+		      ds_d12X =
+			  \ ds_d132  :: 
+				[PrelBase.Char{-38,p-}]
+			    {-# L #-}
+			    ds_d132 ->
+			      case ds_d132 of {
+				PrelBase.[]{-5i,p-}{i} ->
+				    ds_d12r
+					ds_d12R;
+				PrelBase.:{-55,p-}{i} ds_d13h ds_d13q ->
+				    let {
+				      b_r3f  :: 
+					  PrelBase.Char{-38,p-}
+				      {-# L #-}
+				      b_r3f =
+					  ds_d13h } in
+				    _letrec_ {
+				      ds_d13w  :: 
+					  [PrelBase.Char{-38,p-}]
+					  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+				      {-# L #-}
+				      ds_d13w =
+					  \ ds_d13B  :: 
+						[PrelBase.Char{-38,p-}]
+					    {-# L #-}
+					    ds_d13B ->
+					      case ds_d13B of {
+						PrelBase.[]{-5i,p-}{i} ->
+						    ds_d12X
+							ds_d13q;
+						PrelBase.:{-55,p-}{i} ds_d13Q ds_d13Z ->
+						    let {
+						      c_r3h  :: 
+							  PrelBase.Char{-38,p-}
+						      {-# L #-}
+						      c_r3h =
+							  ds_d13Q } in
+						    _letrec_ {
+						      ds_d145  :: 
+							  [PrelBase.Char{-38,p-}]
+							  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+						      {-# L #-}
+						      ds_d145 =
+							  \ ds_d14a  :: 
+								[PrelBase.Char{-38,p-}]
+							    {-# L #-}
+							    ds_d14a ->
+							      case ds_d14a of {
+								PrelBase.[]{-5i,p-}{i} ->
+								    ds_d13w
+									ds_d13Z;
+								PrelBase.:{-55,p-}{i} ds_d14p ds_d14y ->
+								    let {
+								      d_r3j  :: 
+									  PrelBase.Char{-38,p-}
+								      {-# L #-}
+								      d_r3j =
+									  ds_d14p } in
+								    _letrec_ {
+								      ds_d14E  :: 
+									  [PrelBase.Char{-38,p-}]
+									  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+								      {-# L #-}
+								      ds_d14E =
+									  \ ds_d14J  :: 
+										[PrelBase.Char{-38,p-}]
+									    {-# L #-}
+									    ds_d14J ->
+									      case ds_d14J of {
+										PrelBase.[]{-5i,p-}{i} ->
+										    ds_d145
+											ds_d14y;
+										PrelBase.:{-55,p-}{i} ds_d14Y ds_d157 ->
+										    let {
+										      e_r3l  :: 
+											  PrelBase.Char{-38,p-}
+										      {-# L #-}
+										      e_r3l =
+											  ds_d14Y } in
+										    _letrec_ {
+										      ds_d15d  :: 
+											  [PrelBase.Char{-38,p-}]
+											  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+										      {-# L #-}
+										      ds_d15d =
+											  \ ds_d15i  :: 
+												[PrelBase.Char{-38,p-}]
+											    {-# L #-}
+											    ds_d15i ->
+											      case
+												  ds_d15i
+											      of {
+												PrelBase.[]{-5i,p-}{i} ->
+												    ds_d14E
+													ds_d157;
+												PrelBase.:{-55,p-}{i} ds_d15x ds_d15G ->
+												    let {
+												      f_r3n  :: 
+													  PrelBase.Char{-38,p-}
+												      {-# L #-}
+												      f_r3n =
+													  ds_d15x } in
+												    _letrec_ {
+												      ds_d15M  :: 
+													  [PrelBase.Char{-38,p-}]
+													  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+												      {-# L #-}
+												      ds_d15M =
+													  \ ds_d15R  :: 
+														[PrelBase.Char{-38,p-}]
+													    {-# L #-}
+													    ds_d15R ->
+													      case
+														  ds_d15R
+													      of {
+														PrelBase.[]{-5i,p-}{i} ->
+														    ds_d15d
+															ds_d15G;
+														PrelBase.:{-55,p-}{i} ds_d166 ds_d16f ->
+														    let {
+														      g_r3p  :: 
+															  PrelBase.Char{-38,p-}
+														      {-# L #-}
+														      g_r3p =
+															  ds_d166 } in
+														    _letrec_ {
+														      ds_d16l  :: 
+															  [PrelBase.Char{-38,p-}]
+															  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+														      {-# L #-}
+														      ds_d16l =
+															  \ ds_d16q  :: 
+																[PrelBase.Char{-38,p-}]
+															    {-# L #-}
+															    ds_d16q ->
+															      case
+																  ds_d16q
+															      of {
+																PrelBase.[]{-5i,p-}{i} ->
+																    ds_d15M
+																	ds_d16f;
+																PrelBase.:{-55,p-}{i} ds_d16F ds_d16O ->
+																    let {
+																      h_r3r  :: 
+																	  PrelBase.Char{-38,p-}
+																      {-# L #-}
+																      h_r3r =
+																	  ds_d16F } in
+																    _letrec_ {
+																      ds_d16U  :: 
+																	  [PrelBase.Char{-38,p-}]
+																	  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+																      {-# L #-}
+																      ds_d16U =
+																	  \ ds_d16Z  :: 
+																		[PrelBase.Char{-38,p-}]
+																	    {-# L #-}
+																	    ds_d16Z ->
+																	      case
+																		  ds_d16Z
+																	      of {
+																		PrelBase.[]{-5i,p-}{i} ->
+																		    ds_d16l
+																			ds_d16O;
+																		PrelBase.:{-55,p-}{i} ds_d17e ds_d17n ->
+																		    let {
+																		      i_r3t  :: 
+																			  PrelBase.Char{-38,p-}
+																		      {-# L #-}
+																		      i_r3t =
+																			  ds_d17e } in
+																		    _letrec_ {
+																		      ds_d17t  :: 
+																			  [PrelBase.Char{-38,p-}]
+																			  -> [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+																		      {-# L #-}
+																		      ds_d17t =
+																			  \ ds_d17y  :: 
+																				[PrelBase.Char{-38,p-}]
+																			    {-# L #-}
+																			    ds_d17y ->
 																			      case
-																				  ds.177
+																				  ds_d17y
 																			      of {
-																				Nil ->
-																				    ds.171
-																					ds.174
-																				(:) ds.178
-																				    ds.179 ->
-																				    let
-																				      i.180 =
-																					  ds.178
-																				    in 
-																				      let
-																					{- CoRec -}
-																					ds.181 =
-																					    \ ds.182 ->
-																						case
-																						    ds.182
-																						of {
-																						  Nil ->
-																						      ds.176
-																							  ds.179
-																						  (:) ds.183
-																						      ds.184 ->
-																						      let
-																							j.185 =
-																							    ds.183
-																						      in 
-																							(: (Char,
-																							    Char,
-																							    Char,
-																							    Char,
-																							    Char,
-																							    Char,
-																							    Char,
-																							    Char,
-																							    Char,
-																							    Char))
-																							    (MkTuple10!
-																								 Char
-																								 Char
-																								 Char
-																								 Char
-																								 Char
-																								 Char
-																								 Char
-																								 Char
-																								 Char
-																								 Char
-																								 a.140
-																								 b.145
-																								 c.150
-																								 d.155
-																								 e.160
-																								 f.165
-																								 g.170
-																								 h.175
-																								 i.180
-																								 j.185)
-																							    (ds.181
-																								 ds.184)
-																						}
-																					{- end CoRec -}
-																				      in 
-																					ds.181
-																					    "12"S
-																			      }
-																		      {- end CoRec -}
-																		    in 
-																		      ds.176
-																			  "12"S
-																	    }
-																    {- end CoRec -}
-																  in 
-																    ds.171
-																	"12"S
-															  }
-														  {- end CoRec -}
-														in 
-														  ds.166
-														      "12"S
-													}
-												{- end CoRec -}
-											      in 
-												ds.161
-												    "12"S
-										      }
-									      {- end CoRec -}
-									    in 
-									      ds.156
-										  "12"S
-								    }
-							    {- end CoRec -}
-							  in  ds.151 "12"S
-						  }
-					  {- end CoRec -}
-					in  ds.146 "12"S
-				}
-			{- end CoRec -}
-		      in  ds.141 "12"S
-	      }
-      {- end CoRec -}
-    in  ds.136 "12"S
-
+																				PrelBase.[]{-5i,p-}{i} ->
+																				    ds_d16U
+																					ds_d17n;
+																				PrelBase.:{-55,p-}{i} ds_d17N ds_d186 ->
+																				    let {
+																				      j_r3v  :: 
+																					  PrelBase.Char{-38,p-}
+																				      {-# L #-}
+																				      j_r3v =
+																					  ds_d17N } in
+																				    let {
+																				      ds_d17Z  :: 
+																					  (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
+																				      {-# L #-}
+																				      ds_d17Z =
+																					  PrelTup.(,,,,,,,,,){-6a,p-}{i}
+																					      {_@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       _@_ PrelBase.Char{-38,p-}
+																					       a_r3d
+																					       b_r3f
+																					       c_r3h
+																					       d_r3j
+																					       e_r3l
+																					       f_r3n
+																					       g_r3p
+																					       h_r3r
+																					       i_r3t
+																					       j_r3v} } in
+																				    let {
+																				      ds_d183  :: 
+																					  [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+																				      {-# L #-}
+																				      ds_d183 =
+																					  ds_d17t
+																					      ds_d186
+																				    } in 
+																				      PrelBase.:{-55,p-}{i}
+																					  {_@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
+																					   ds_d17Z
+																					   ds_d183};
+																			      };
+																		    } in 
+																		      ds_d17t
+																			  _string_ "12";
+																	      };
+																    } in 
+																      ds_d16U
+																	  _string_ "12";
+															      };
+														    } in 
+														      ds_d16l
+															  _string_ "12";
+													      };
+												    } in 
+												      ds_d15M
+													  _string_ "12";
+											      };
+										    } in 
+										      ds_d15d
+											  _string_ "12";
+									      };
+								    } in 
+								      ds_d14E
+									  _string_ "12";
+							      };
+						    } in 
+						      ds_d145
+							  _string_ "12";
+					      };
+				    } in 
+				      ds_d13w
+					  _string_ "12";
+			      };
+		    } in 
+		      ds_d12X
+			  _string_ "12";
+	      };
+    } in 
+      ds_d12r
+	  _string_ "12"
+z{-r3w,x-}  :: 
+    [(PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})]
+{-# L #-}
+z{-r3w,x-} =
+    z_aW0
+end Rec }