[project @ 1997-09-05 14:11:05 by simonm]

[ghc-hetmet.git] / ghc / tests / ccall / should_compile / cc003.stderr

diff --git a/ghc/tests/ccall/should_compile/cc003.stderr b/ghc/tests/ccall/should_compile/cc003.stderr
index 1f8dfdc..d4eca73 100644 (file)
--- a/ghc/tests/ccall/should_compile/cc003.stderr
+++ b/ghc/tests/ccall/should_compile/cc003.stderr
@@ -2,114 +2,95 @@
 
 ================================================================================
 Typechecked:
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], fubar{-r1,x-}, fubar_aZa)]
-    fubar_aZa
-       =   STBase.seqPrimIO{-r46,p-}
-               [PrelBase.(){-40,p-}, PrelBase.Int{-3g,p-}]
-               (STBase.ST{-5G,p-}{i}
-                    [GHC.RealWorld{-3s,p-}, PrelBase.(){-40,p-}]
-                    _ccall_ f)
-               (STBase.ST{-5G,p-}{i}
-                    [GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
-                    _ccall_ b)
-{- nonrec -}
+AbsBinds [] [] [([], fubar{-r1,x-}, fubar_aTQ)]
+    fubar_aTQ
+       = STBase.seqPrimIO{-r46,p-}
+             [PrelBase.(){-40,W-}, PrelBase.Int{-3g,W-}]
+             (STBase.ST{-5G,w-}{i}
+                  [GHC.RealWorld{-3s,W-}, PrelBase.(){-40,W-}] _ccall_ f)
+             (STBase.ST{-5G,w-}{i}
+                  [GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ b)
 
 
 ================================================================================
 Desugared:
-fubar_aZa  :: 
-    STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+Rec {
+fubar_aTQ  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 {-# L #-}
-fubar_aZa =
-    let { ds_d110  :: 
-             STBase.ST{-3O,p-} GHC.RealWorld{-3s,p-} PrelBase.(){-40,p-}
+fubar_aTQ =
+    let { ds_dVM  ::  STBase.PrimIO{-3P,W-} PrelBase.(){-40,W-}
          {-# L #-}
-         ds_d110 =
+         ds_dVM =
       let {
-       ds_d11g  :: 
-           STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-           -> (PrelBase.(){-40,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+       ds_dW2  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
+                   -> (PrelBase.(){-40,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
        {-# L #-}
-       ds_d11g =
-           \ ds_d11m  :: 
-                 STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+       ds_dW2 =
+           \ ds_dW8  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
              {-# L #-}
-             ds_d11m ->
-               case ds_d11m of { STBase.S#{-5D,p-}{i} ds_d11x  ->
+             ds_dW8 ->
+               case ds_dW8 of { STBase.S#{-5D,w-}{i} ds_dWn  ->
                case
-                   _ccall_ f [(STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
-                       ds_d11x
+                   _ccall_ f [(STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
+                       ds_dWn
                of {
-               STBase.S#{-5D,p-}{i} ds_d11X  ->
+               STBase.S#{-5D,w-}{i} ds_dWN  ->
                let {
-                 ds_d11Q  :: 
-                     STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+                 ds_dWG  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
                  {-# L #-}
-                 ds_d11Q =
-                     STBase.S#{-5D,p-}{i}
-                         {_@_ GHC.RealWorld{-3s,p-} ds_d11X}
+                 ds_dWG =
+                     STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_dWN}
                } in 
-                 PrelTup.(,){-62,p-}{i}
-                     {_@_ PrelBase.(){-40,p-}
-                      _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
-                      PrelBase.(){-60,p-}{i}
-                      ds_d11Q};};}
+                 PrelTup.(,){-62,w-}{i}
+                     {_@_ PrelBase.(){-40,W-}
+                      _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
+                      PrelBase.(){-60,w-}{i}
+                      ds_dWG};};}
       } in 
-       STBase.ST{-5G,p-}{i}
-           _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.(){-40,p-} ds_d11g
+       STBase.ST{-5G,w-}{i}
+           _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.(){-40,W-} ds_dW2
     } in
-    let { ds_d114  :: 
-             STBase.ST{-3O,p-} GHC.RealWorld{-3s,p-} PrelBase.Int{-3g,p-}
+    let { ds_dVQ  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
          {-# L #-}
-         ds_d114 =
+         ds_dVQ =
       let {
-       ds_d12a  :: 
-           STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-           -> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+       ds_dX0  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
+                   -> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
        {-# L #-}
-       ds_d12a =
-           \ ds_d12g  :: 
-                 STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+       ds_dX0 =
+           \ ds_dX6  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
              {-# L #-}
-             ds_d12g ->
-               case ds_d12g of { STBase.S#{-5D,p-}{i} ds_d12r  ->
+             ds_dX6 ->
+               case ds_dX6 of { STBase.S#{-5D,w-}{i} ds_dXh  ->
                case
-                   _ccall_ b [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
-                       ds_d12r
+                   _ccall_ b [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
+                       ds_dXh
                of {
-               STBase.StateAndInt#{-5v,p-}{i} ds_d12U ds_d12S  ->
+               STBase.StateAndInt#{-5v,w-}{i} ds_dXK ds_dXI  ->
                let {
-                 ds_d12J  :: 
-                     PrelBase.Int{-3g,p-}
+                 ds_dXz  ::  PrelBase.Int{-3g,W-}
                  {-# L #-}
-                 ds_d12J =
-                     PrelBase.I#{-5b,p-}{i}
-                         {ds_d12S} } in
+                 ds_dXz =
+                     PrelBase.I#{-5b,w-}{i} {ds_dXI} } in
                let {
-                 ds_d12N  :: 
-                     STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+                 ds_dXD  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
                  {-# L #-}
-                 ds_d12N =
-                     STBase.S#{-5D,p-}{i}
-                         {_@_ GHC.RealWorld{-3s,p-} ds_d12U}
+                 ds_dXD =
+                     STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_dXK}
                } in 
-                 PrelTup.(,){-62,p-}{i}
-                     {_@_ PrelBase.Int{-3g,p-}
-                      _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
-                      ds_d12J
-                      ds_d12N};};}
+                 PrelTup.(,){-62,w-}{i}
+                     {_@_ PrelBase.Int{-3g,W-}
+                      _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
+                      ds_dXz
+                      ds_dXD};};}
       } in 
-       STBase.ST{-5G,p-}{i}
-           _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d12a
+       STBase.ST{-5G,w-}{i}
+           _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_dX0
     } in
     STBase.seqPrimIO{-r46,p-}
-       _@_ PrelBase.(){-40,p-} _@_ PrelBase.Int{-3g,p-} ds_d110 ds_d114
-fubar{-r1,x-}  :: 
-    STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+       _@_ PrelBase.(){-40,W-} _@_ PrelBase.Int{-3g,W-} ds_dVM ds_dVQ
+fubar{-r1,x-}  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 {-# L #-}
 fubar{-r1,x-} =
-    fubar_aZa
-
-NOTE: Simplifier still going after 4 iterations; bailing out.
+    fubar_aTQ
+end Rec }