[project @ 1997-05-26 05:48:07 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / simplCore / simpl001.stderr

diff --git a/ghc/compiler/tests/simplCore/simpl001.stderr b/ghc/compiler/tests/simplCore/simpl001.stderr
index e69de29..b1ee08d 100644 (file)
--- 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