X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds011.stderr;fp=ghc%2Fcompiler%2Ftests%2FdeSugar%2Fds011.stderr;h=65853337c0859623bccc48a1a6a10bccc1e31aae;hb=40cc9182affda1964b480f5d251200d853ce2327;hp=2535d8095124ad3e2071ac52d9b2eb4064efd295;hpb=bc2a4d6b2f9badfa98aa01d6ae550110e0eea0ed;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/deSugar/ds011.stderr b/ghc/compiler/tests/deSugar/ds011.stderr
index 2535d80..6585333 100644
--- a/ghc/compiler/tests/deSugar/ds011.stderr
+++ b/ghc/compiler/tests/deSugar/ds011.stderr
@@ -1,10 +1,70 @@
-Desugared:
-Tests.f :: for all d. d
-Tests.f = /\ t79 -> (error t79) (Nil! Char)
-Tests.g :: for all d. d
-Tests.g = /\ t83 -> (error t83) (Nil! Char)
-Tests.h :: for all d. d
-Tests.h = /\ t86 -> (error t86) "\""S
-Tests.i :: for all d. d
-Tests.i = /\ t89 -> (error t89) "foo"S
 
+
+================================================================================
+Desugared:
+i{-r4,x-}  :: 
+    _forall_ [t{-amO-}] => t{-amO-}
+{-# L #-}
+i{-r4,x-} =
+    _/\_ t{-amO-} ->
+	IOBase.error{-87,p-}
+	    _@_ t{-amO-} _string_ "foo"
+h{-r5,x-}  :: 
+    _forall_ [t{-amW-}] => t{-amW-}
+{-# L #-}
+h{-r5,x-} =
+    _/\_ t{-amW-} ->
+	let { ds_dpe  :: 
+		  [PrelBase.Char{-38,p-}]
+	      {-# L #-}
+	      ds_dpe =
+	  let {
+	    ds_dpp  :: 
+		PrelBase.Char{-38,p-}
+	    {-# L #-}
+	    ds_dpp =
+		PrelBase.C#{-54,p-}{i}
+		    {'"'} } in
+	  let {
+	    ds_dpt  :: 
+		[PrelBase.Char{-38,p-}]
+	    {-# L #-}
+	    ds_dpt =
+		PrelBase.[]{-5i,p-}{i}
+		    {_@_ PrelBase.Char{-38,p-}}
+	  } in 
+	    PrelBase.:{-55,p-}{i}
+		{_@_ PrelBase.Char{-38,p-} ds_dpp ds_dpt}
+	} in
+	IOBase.error{-87,p-}
+	    _@_ t{-amW-} ds_dpe
+g{-r6,x-}  :: 
+    _forall_ [t{-an4-}] => t{-an4-}
+{-# L #-}
+g{-r6,x-} =
+    _/\_ t{-an4-} ->
+	let {
+	  ds_dpW  :: 
+	      [PrelBase.Char{-38,p-}]
+	  {-# L #-}
+	  ds_dpW =
+	      PrelBase.[]{-5i,p-}{i}
+		  {_@_ PrelBase.Char{-38,p-}}
+	} in 
+	  IOBase.error{-87,p-}
+	      _@_ t{-an4-} ds_dpW
+f{-r7,x-}  :: 
+    _forall_ [t{-and-}] => t{-and-}
+{-# L #-}
+f{-r7,x-} =
+    _/\_ t{-and-} ->
+	let {
+	  ds_dqm  :: 
+	      [PrelBase.Char{-38,p-}]
+	  {-# L #-}
+	  ds_dqm =
+	      PrelBase.[]{-5i,p-}{i}
+		  _@_ PrelBase.Char{-38,p-}
+	} in 
+	  IOBase.error{-87,p-}
+	      _@_ t{-and-} ds_dqm