[project @ 1997-09-24 11:08:42 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 d4eca73..e69de29 100644 (file)
--- a/ghc/tests/ccall/should_compile/cc003.stderr
+++ b/ghc/tests/ccall/should_compile/cc003.stderr
@@ -1,96 +0,0 @@
-
-
-================================================================================
-Typechecked:
-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:
-Rec {
-fubar_aTQ  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
-{-# L #-}
-fubar_aTQ =
-    let { ds_dVM  ::  STBase.PrimIO{-3P,W-} PrelBase.(){-40,W-}
-         {-# L #-}
-         ds_dVM =
-      let {
-       ds_dW2  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-                   -> (PrelBase.(){-40,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
-       {-# L #-}
-       ds_dW2 =
-           \ ds_dW8  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-             {-# L #-}
-             ds_dW8 ->
-               case ds_dW8 of { STBase.S#{-5D,w-}{i} ds_dWn  ->
-               case
-                   _ccall_ f [(STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
-                       ds_dWn
-               of {
-               STBase.S#{-5D,w-}{i} ds_dWN  ->
-               let {
-                 ds_dWG  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-                 {-# L #-}
-                 ds_dWG =
-                     STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_dWN}
-               } in 
-                 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,w-}{i}
-           _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.(){-40,W-} ds_dW2
-    } in
-    let { ds_dVQ  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
-         {-# L #-}
-         ds_dVQ =
-      let {
-       ds_dX0  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-                   -> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
-       {-# L #-}
-       ds_dX0 =
-           \ ds_dX6  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-             {-# L #-}
-             ds_dX6 ->
-               case ds_dX6 of { STBase.S#{-5D,w-}{i} ds_dXh  ->
-               case
-                   _ccall_ b [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
-                       ds_dXh
-               of {
-               STBase.StateAndInt#{-5v,w-}{i} ds_dXK ds_dXI  ->
-               let {
-                 ds_dXz  ::  PrelBase.Int{-3g,W-}
-                 {-# L #-}
-                 ds_dXz =
-                     PrelBase.I#{-5b,w-}{i} {ds_dXI} } in
-               let {
-                 ds_dXD  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
-                 {-# L #-}
-                 ds_dXD =
-                     STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_dXK}
-               } in 
-                 PrelTup.(,){-62,w-}{i}
-                     {_@_ PrelBase.Int{-3g,W-}
-                      _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
-                      ds_dXz
-                      ds_dXD};};}
-      } in 
-       STBase.ST{-5G,w-}{i}
-           _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_dX0
-    } in
-    STBase.seqPrimIO{-r46,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_aTQ
-end Rec }