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

diff --git a/ghc/compiler/tests/deSugar/ds030.stderr b/ghc/compiler/tests/deSugar/ds030.stderr
index 7125ae6..beecd0f 100644
--- a/ghc/compiler/tests/deSugar/ds030.stderr
+++ b/ghc/compiler/tests/deSugar/ds030.stderr
@@ -1,31 +1,54 @@
+
+
+================================================================================
 Desugared:
-Test.f :: for all d. [d] -> Int {- 0 MkInt deriving ( )-} =
-    /\ t78 -> \ x.88 :: [t78] ->
-	let ds.89 :: [t78] = x.88 :: [t78] in
-	let
-	  fail.90 :: Int {- 0 MkInt deriving ( )-} =
-	      ({-CoTyApp-} error :: for all a.
-					[Char {- 0 MkChar deriving ( )-}] -> a
-		   Int {- 0 MkInt deriving ( )-})
-		  "\"ds030.hs\", line 5: pattern-matching failed in case\n"S in
-	let
-	  fail.92 :: Int {- 0 MkInt deriving ( )-} =
-	      let
-		dict.91 :: <Num {- Num -} <Num {- Num -} Int {- 0 MkInt deriving ( )-}>> =
-		    dfun.Num.Int :: <Num {- Num -} Int {- 0 MkInt deriving ( )-}>
-	      in 
-		MkInt :: IntPrim{- StgInt -} -> Int {- 0 MkInt deriving ( )-}!
-		    4#
-	in 
-	  case ds.89 :: [t78] of {
-	    [a] {- 1 a Nil, : deriving ( )-}
-	    Nil :: for all a. [a] ->
-		let
-		  dict.93 :: <Num {- Num -} <Num {- Num -} Int {- 0 MkInt deriving ( )-}>> =
-		      dfun.Num.Int :: <Num {- Num -} Int {- 0 MkInt deriving ( )-}>
-		in 
-		  MkInt :: IntPrim{- StgInt -} -> Int {- 0 MkInt deriving ( )-}!
-		      3#
-	    _ ->  fail.92 :: Int {- 0 MkInt deriving ( )-}
+Rec {
+{-# L #-}
+d.Num_aHE =
+    PrelBase.$d3
+{-# L #-}
+fromInt_aKm =
+    PrelBase.fromInt
+	_@_ PrelBase.Int d.Num_aHE
+{-# L #-}
+lit_aKx =
+    let {
+      {-# L #-}
+      ds_dKW =
+	  PrelBase.I#
+	      3
+    } in 
+      fromInt_aKm
+	  ds_dKW
+{-# L #-}
+fromInt_aKw =
+    fromInt_aKm
+{-# L #-}
+lit_aKt =
+    let {
+      {-# L #-}
+      ds_dLb =
+	  PrelBase.I#
+	      4
+    } in 
+      fromInt_aKw
+	  ds_dLb
+{-# L #-}
+f = _/\_ t{-aHm-} -> \ {-# L #-}
+		       x_r3d ->
+	let {
+	  {-# L #-}
+	  ds_dLw =
+	      x_r3d } in
+	let {
+	  {-# L #-}
+	  fail_dLy =
+	      lit_aKt
+	} in 
+	  case ds_dLw of {
+	    PrelBase.: ds_dLG ds_dLF ->
+		fail_dLy;
+	    PrelBase.[] ->
+		lit_aKx;
 	  }
-
+end Rec }