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

diff --git a/ghc/compiler/tests/deSugar/ds006.stderr b/ghc/compiler/tests/deSugar/ds006.stderr
index 0db25c8..c6358f3 100644
--- a/ghc/compiler/tests/deSugar/ds006.stderr
+++ b/ghc/compiler/tests/deSugar/ds006.stderr
@@ -1,19 +1,55 @@
-Desugared:
-Test.v :: for all d. <Num d> -> d
-Test.v =
-    /\ t78 -> \ dict.79 ->
-	let dict.77 = dict.79
-	in 
-	  let
-	    {- CoRec -}
-	    v.75 =
-		let
-		  fail.81 =
-		      (error t78)
-			  "\"ds006.hs\", line 6: pattern-matching failure [function binding]\n"S
-		in 
-		  (+ t78)
-		      dict.77 v.75 ((fromInteger t78) dict.79 (MkInteger! 1##))
-	    {- end CoRec -}
-	  in  v.75
 
+
+================================================================================
+Desugared:
+Rec {
+d.Num_aHu  :: 
+    {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
+{-# L #-}
+d.Num_aHu =
+    PrelBase.$d3{-rb1,p-}
++_aJy  :: 
+    PrelBase.Int{-3g,p-}
+    -> PrelBase.Int{-3g,p-}
+    -> PrelBase.Int{-3g,p-}
+{-# L #-}
++_aJy =
+    PrelBase.+{-ras,p-}
+	_@_ PrelBase.Int{-3g,p-} d.Num_aHu
+d.Num_aHy  :: 
+    {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
+{-# L #-}
+d.Num_aHy =
+    d.Num_aHu
+fromInt_aJG  :: 
+    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
+{-# L #-}
+fromInt_aJG =
+    PrelBase.fromInt{-8R,p-}
+	_@_ PrelBase.Int{-3g,p-} d.Num_aHy
+lit_aJF  :: 
+    PrelBase.Int{-3g,p-}
+{-# L #-}
+lit_aJF =
+    let {
+      ds_dKi  :: 
+	  PrelBase.Int{-3g,p-}
+      {-# L #-}
+      ds_dKi =
+	  PrelBase.I#{-5b,p-}{i}
+	      1
+    } in 
+      fromInt_aJG
+	  ds_dKi
+v_aHa  :: 
+    PrelBase.Int{-3g,p-}
+{-# L #-}
+v_aHa =
+    +_aJy
+	v_aHa lit_aJF
+v{-r1,x-}  :: 
+    PrelBase.Int{-3g,p-}
+{-# L #-}
+v{-r1,x-} =
+    v_aHa
+end Rec }