X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds028.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds028.stderr;h=99e83c83e449186f5a302c8a008622194e5d7247;hb=40cc9182affda1964b480f5d251200d853ce2327;hp=450f82f9c10ebd50e8c910746ad9dcd5d1340af9;hpb=bc2a4d6b2f9badfa98aa01d6ae550110e0eea0ed;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/deSugar/ds028.stderr b/ghc/compiler/tests/deSugar/ds028.stderr
index 450f82f..99e83c8 100644
--- a/ghc/compiler/tests/deSugar/ds028.stderr
+++ b/ghc/compiler/tests/deSugar/ds028.stderr
@@ -1,30 +1,83 @@
-Desugared:
-{- plain CoRec -}
-Main.map :: for all d, e. (d -> e) -> [d] -> [e]
-Main.map =
-    /\ t88 t84 -> \ f.100 ds.101 ->
-	let
-	  fail.102 =
-	      (error [t84])
-		  "\"ds028.hs\", line 7: pattern-matching failure [function binding]\n"S
-	in 
-	  case ds.101 of {
-	    Nil -> Nil! t84
-	    (:) x.103 xs.104 ->
-		let f.105 = f.100
-		in  (: t84) (f.105 x.103) (((Main.map t88) t84) f.105 xs.104)
-	  }
-{- end plain CoRec -}
-Main.|| :: Bool -> Bool -> Bool
-Main.|| =
-    \ ds.109 ds.110 ->
-	let
-	  fail.111 =
-	      (error Bool)
-		  "\"ds028.hs\", line 10: pattern-matching failure [function binding]\n"S
-	in 
-	  case ds.109 of {
-	    True -> True
-	    False -> let x.112 = ds.110 in  x.112
-	  }
 
+
+================================================================================
+Desugared:
+||||_amR  :: 
+    PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+{-# L #-}
+||||_amR =
+    \ ds_dq6  :: 
+	  PrelBase.Bool{-34,p-}
+      {-# L #-}
+      ds_dq6 ds_dq7  :: 
+		 PrelBase.Bool{-34,p-}
+	     {-# L #-}
+	     ds_dq7 ->
+	case ds_dq6 of {
+	  PrelBase.True{-5E,p-}{i} ->
+	      PrelBase.True{-5E,p-}{i};
+	  PrelBase.False{-58,p-}{i} ->
+	      ds_dq7;
+	}
+||||{-r3q,x-}  :: 
+    PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+{-# L #-}
+||||{-r3q,x-} =
+    ||||_amR
+Rec {
+mAp{-r3r,x-}  :: 
+    _forall_
+    [t{-an5-} t{-an7-}]
+    =>
+    (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
+{-# L #-}
+mAp{-r3r,x-} =
+    _/\_ t{-an5-} t{-an7-} ->
+	_letrec_ {
+	  mAp_amZ  :: 
+	      (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
+	  {-# L #-}
+	  mAp_amZ =
+	      \ f_r3e  :: 
+		    t{-an5-} -> t{-an7-}
+		{-# L #-}
+		f_r3e ds_dqV  :: 
+			  [t{-an5-}]
+		      {-# L #-}
+		      ds_dqV ->
+		  case ds_dqV of {
+		    PrelBase.[]{-5i,p-}{i} ->
+			PrelBase.[]{-5i,p-}{i}
+			    _@_ t{-an7-};
+		    PrelBase.:{-55,p-}{i} x_r3j xs_r3k ->
+			let {
+			  f_r3h  :: 
+			      t{-an5-} -> t{-an7-}
+			  {-# L #-}
+			  f_r3h =
+			      f_r3e } in
+			let {
+			  ds_drl  :: 
+			      t{-an7-}
+			  {-# L #-}
+			  ds_drl =
+			      f_r3h
+				  x_r3j } in
+			let {
+			  ds_drp  :: 
+			      [t{-an7-}]
+			  {-# L #-}
+			  ds_drp =
+			      mAp_amZ
+				  f_r3h xs_r3k
+			} in 
+			  PrelBase.:{-55,p-}{i}
+			      _@_ t{-an7-} ds_drl ds_drp;
+		  };
+	} in 
+	  mAp_amZ
+end Rec }