X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2FsimplCore%2Fsimpl001.stderr;fp=ghc%2Fcompiler%2Ftests%2FsimplCore%2Fsimpl001.stderr;h=b1ee08d3d8da9242d58eb29b2cba55c519237b83;hb=34cb1a0464a3d370b3c2e9de2fb399b8fbfab8c7;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=0e703316ff262d1c937525d654cbab2a65c4ea63;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/simplCore/simpl001.stderr b/ghc/compiler/tests/simplCore/simpl001.stderr
index e69de29..b1ee08d 100644
--- a/ghc/compiler/tests/simplCore/simpl001.stderr
+++ b/ghc/compiler/tests/simplCore/simpl001.stderr
@@ -0,0 +1,111 @@
+
+
+================================================================================
+Simplified:
+++++{-r3h,x-}  :: 
+    _forall_
+    [a{-auX-} b{-auY-}]
+    =>
+    (a{-auX-} -> (b{-auY-} -> a{-auX-}) -> b{-auY-})
+    -> (a{-auX-} -> (b{-auY-} -> a{-auX-}) -> b{-auY-})
+    -> a{-auX-}
+    -> (b{-auY-} -> a{-auX-})
+    -> b{-auY-}
+_A>_ 2 {-# L #-}
+++++{-r3h,x-} =
+    _/\_ a{-sE8-} b{-sE9-} -> \ x_sDl  :: 
+				    a{-sE8-} -> (b{-sE9-} -> a{-sE8-}) -> b{-sE9-}
+				{-# L #-}
+				x_sDl y_sCR  :: 
+					  a{-sE8-} -> (b{-sE9-} -> a{-sE8-}) -> b{-sE9-}
+				      {-# L #-}
+				      y_sCR ->
+	y_sCR
+g{-r3j,x-}  :: 
+    _forall_
+    [a{-avh-} b{-avi-} rk0{-avq-}]
+    =>
+    {PrelBase.Functor{-2b,p-} rk0{-avq-}}
+    -> (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
+    -> rk0{-avq-} (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
+    -> rk0{-avq-} (a{-avh-} -> (b{-avi-} -> a{-avh-}) -> b{-avi-})
+_A>_ 3 {-# L #-}
+g{-r3j,x-} =
+    _/\_ a{-sEd-} b{-sEe-} rk0{-sEf-} -> \ d.Functor_sDp  :: 
+					       {PrelBase.Functor{-2b,p-} rk0{-sEf-}}
+					   {-# L #-}
+					   d.Functor_sDp a_sDk  :: 
+							     a{-sEd-}
+							     -> (b{-sEe-} -> a{-sEd-})
+							     -> b{-sEe-}
+							 {-# L #-}
+							 a_sDk xs_sDV  :: 
+								   rk0{-sEf-} (a{-sEd-}
+									       -> (b{-sEe-}
+										   -> a{-sEd-})
+									       -> b{-sEe-})
+							       {-# L #-}
+							       xs_sDV ->
+	let {
+	  ds_sDr  :: 
+	      (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
+	      -> a{-sEd-}
+	      -> (b{-sEe-} -> a{-sEd-})
+	      -> b{-sEe-}
+	  _A>_ 1 {-# L #-}
+	  ds_sDr =
+	      \ ds_sDq  :: 
+		    a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-}
+		{-# L #-}
+		ds_sDq ->
+		  a_sDk
+	} in 
+	  d.Functor_sDp
+	      _@_ (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
+	      _@_ (a{-sEd-} -> (b{-sEe-} -> a{-sEd-}) -> b{-sEe-})
+	      ds_sDr
+	      xs_sDV
+h{-r3i,x-}  :: 
+    _forall_
+    [a{-avI-} b{-avK-} rk0{-avT-}]
+    =>
+    {PrelBase.Functor{-2b,p-} rk0{-avT-}}
+    -> (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
+    -> rk0{-avT-} (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
+    -> rk0{-avT-} (a{-avI-} -> (b{-avK-} -> a{-avI-}) -> b{-avK-})
+_A>_ 3 {-# L #-}
+h{-r3i,x-} =
+    _/\_ a{-sEl-} b{-sEm-} rk0{-sEn-} -> \ d.Functor_sDZ  :: 
+					       {PrelBase.Functor{-2b,p-} rk0{-sEn-}}
+					   {-# L #-}
+					   d.Functor_sDZ b_sEg  :: 
+							     a{-sEl-}
+							     -> (b{-sEm-} -> a{-sEl-})
+							     -> b{-sEm-}
+							 {-# L #-}
+							 b_sEg xs_sEh  :: 
+								   rk0{-sEn-} (a{-sEl-}
+									       -> (b{-sEm-}
+										   -> a{-sEl-})
+									       -> b{-sEm-})
+							       {-# L #-}
+							       xs_sEh ->
+	let {
+	  ds_sE0  :: 
+	      (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
+	      -> a{-sEl-}
+	      -> (b{-sEm-} -> a{-sEl-})
+	      -> b{-sEm-}
+	  _A>_ 1 {-# L #-}
+	  ds_sE0 =
+	      \ ds_sDU  :: 
+		    a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-}
+		{-# L #-}
+		ds_sDU ->
+		  ds_sDU
+	} in 
+	  d.Functor_sDZ
+	      _@_ (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
+	      _@_ (a{-sEl-} -> (b{-sEm-} -> a{-sEl-}) -> b{-sEm-})
+	      ds_sE0
+	      xs_sEh