[project @ 1997-07-31 01:46:24 by sof]

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

diff --git a/ghc/compiler/tests/simplCore/simpl002.stderr b/ghc/compiler/tests/simplCore/simpl002.stderr
deleted file mode 100644 (file)
index 49ad874..0000000
--- a/ghc/compiler/tests/simplCore/simpl002.stderr
+++ /dev/null
@@ -1,138 +0,0 @@
-
-
-================================================================================
-Simplified:
-nrlit_sMT  :: 
-    [PrelBase.Char{-38,p-}]
-{-# L #-}
-nrlit_sMT =
-    PackedString.unpackCString#{-8F,p-}
-       "xxx"
-$d1{-rJ7,x-}  :: 
-    _forall_
-    [a{-r3g-} b{-r3h-} c{-r3i-}]
-    =>
-    {Foo{-r3j,x-} a{-r3g-}}
-    -> {Foo{-r3j,x-} b{-r3h-}}
-    -> {Foo{-r3j,x-} c{-r3i-}}
-    -> {Foo{-r3j,x-} (Wibble{-r3y,x-} a{-r3g-} b{-r3h-} c{-r3i-})}
-_A>_ 3 {-# L #-}
-$d1{-rJ7,x-} =
-    _/\_ a{-sMG-} b{-sMH-} c{-sMI-} -> \ d.Foo_sLN  :: 
-                                            {Foo{-r3j,x-} a{-sMG-}}
-                                        {-# L #-}
-                                        d.Foo_sLN d.Foo_sLM  :: 
-                                                      {Foo{-r3j,x-} b{-sMH-}}
-                                                  {-# L #-}
-                                                  d.Foo_sLM d.Foo_sLL  :: 
-                                                                {Foo{-r3j,x-} c{-sMI-}}
-                                                            {-# L #-}
-                                                            d.Foo_sLL ->
-       let {
-         op_sLp  :: 
-             PrelBase.Int{-3g,p-}
-             -> Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
-             -> PrelBase.Bool{-34,p-}
-         _A>_ 2 {-# L #-}
-         op_sLp =
-             \ x_sLs  :: 
-                   PrelBase.Int{-3g,p-}
-               {-# L #-}
-               x_sLs y_sLq  :: 
-                         Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
-                     {-# L #-}
-                     y_sLq ->
-                 IOBase.error{-87,p-}
-                     _@_ PrelBase.Bool{-34,p-} nrlit_sMT } in
-       let {
-         op_sLO  :: 
-             PrelBase.Int{-3g,p-}
-             -> Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
-             -> PrelBase.Bool{-34,p-}
-         _A>_ 2 {-# L #-}
-         op_sLO =
-             op_sLp } in
-       let {
-         d.Foo_sLP  :: 
-             {Foo{-r3j,x-} (Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-})}
-         _A>_ 2 {-# L #-}
-         d.Foo_sLP =
-             op_sLp
-       } in 
-         op_sLp
-$d2{-rJ2,x-}  :: 
-    _forall_
-    [a{-r3s-} b{-r3t-} c{-r3u-}]
-    =>
-    {PrelBase.Eval{-24,p-} (Wibble{-r3y,x-} a{-r3s-} b{-r3t-} c{-r3u-})}
-_A>_ 0 {-# L #-}
-$d2{-rJ2,x-} =
-    _/\_ a{-sMV-} b{-sMW-} c{-sMX-} ->
-       let {
-         d.Eval_sM2  :: 
-             {PrelBase.Eval{-24,p-} (Wibble{-r3y,x-} a{-sMV-} b{-sMW-} c{-sMX-})}
-         {-# L #-}
-         d.Eval_sM2 =
-             PrelBase.void{-8G,p-}
-       } in 
-         PrelBase.void{-8G,p-}
-nrlit_sMU  :: 
-    [PrelBase.Char{-38,p-}]
-{-# L #-}
-nrlit_sMU =
-    PackedString.unpackCString#{-8F,p-}
-       "Class Foo Method op"
-$mop{-rIV,x-}  :: 
-    _forall_
-    [a{-r3w-}]
-    =>
-    {Foo{-r3j,x-} a{-r3w-}}
-    -> PrelBase.Int{-3g,p-}
-    -> a{-r3w-}
-    -> PrelBase.Bool{-34,p-}
-_A>_ 3 {-# L #-}
-$mop{-rIV,x-} =
-    _/\_ a{-sMJ-} -> \ d.Foo_sMg  :: 
-                          {Foo{-r3j,x-} a{-sMJ-}}
-                      {-# L #-}
-                      d.Foo_sMg ->
-       GHCerr.noDefaultMethodError{-8k,p-}
-           _@_ (PrelBase.Int{-3g,p-} -> a{-sMJ-} -> PrelBase.Bool{-34,p-})
-           nrlit_sMU
-op{-r3z,x-}  :: 
-    _forall_
-    [a{-r3w-}]
-    =>
-    {Foo{-r3j,x-} a{-r3w-}}
-    -> PrelBase.Int{-3g,p-}
-    -> a{-r3w-}
-    -> PrelBase.Bool{-34,p-}
-_A>_ 1 {-# L #-}
-op{-r3z,x-} =
-    _/\_ a{-sMK-} -> \ tpl_sMf  :: 
-                          {Foo{-r3j,x-} a{-sMK-}}
-                      {-# L #-}
-                      tpl_sMf ->
-       tpl_sMf
-MkWibble{-r3x,x-}{i}  :: 
-    _forall_
-    [a{-r3s-} b{-r3t-} c{-r3u-}]
-    =>
-    a{-r3s-}
-    -> b{-r3t-}
-    -> c{-r3u-}
-    -> Wibble{-r3y,x-} a{-r3s-} b{-r3t-} c{-r3u-}
-_A>_ 3 {-# L #-}
-MkWibble{-r3x,x-}{i} =
-    _/\_ a{-sMO-} b{-sMP-} c{-sMQ-} -> \ tpl_sML  :: 
-                                            a{-sMO-}
-                                        {-# L #-}
-                                        tpl_sML tpl_sMM  :: 
-                                                    b{-sMP-}
-                                                {-# L #-}
-                                                tpl_sMM tpl_sMN  :: 
-                                                            c{-sMQ-}
-                                                        {-# L #-}
-                                                        tpl_sMN ->
-       MkWibble{-r3x,x-}{i}
-           {_@_ a{-sMO-} _@_ b{-sMP-} _@_ c{-sMQ-} tpl_sML tpl_sMM tpl_sMN}