[project @ 1997-05-26 05:58:06 by sof]

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

diff --git a/ghc/compiler/tests/ccall/cc003.stderr b/ghc/compiler/tests/ccall/cc003.stderr
index 4b2772f..1f8dfdc 100644 (file)
--- a/ghc/compiler/tests/ccall/cc003.stderr
+++ b/ghc/compiler/tests/ccall/cc003.stderr
@@ -1,15 +1,115 @@
+
+
+================================================================================
 Typechecked:
-AbsBinds [] [] [(fubar.t439, Main.fubar{-r79-})]
-    {- nonrec -}
-    fubar.t439 :: IoWorld -> (Int, IoWorld)
-    fubar.t439
-       = (thenIO_{-r99-} [bpv83, Int]) (ccall  f [bpv83] ) (ccall  b [Int] )
 {- nonrec -}
 {- nonrec -}
-Desugared:
+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 -}
 
-Fail: panic! (the `impossible' happened):
-       getBoxedPrimTypeInfo: bpv83
 
-Please report it as a compiler bug to glasgow-haskell-bugs@dcs.glasgow.ac.uk.
+================================================================================
+Desugared:
+fubar_aZa  :: 
+    STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+{-# L #-}
+fubar_aZa =
+    let { ds_d110  :: 
+             STBase.ST{-3O,p-} GHC.RealWorld{-3s,p-} PrelBase.(){-40,p-}
+         {-# L #-}
+         ds_d110 =
+      let {
+       ds_d11g  :: 
+           STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+           -> (PrelBase.(){-40,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+       {-# L #-}
+       ds_d11g =
+           \ ds_d11m  :: 
+                 STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+             {-# L #-}
+             ds_d11m ->
+               case ds_d11m of { STBase.S#{-5D,p-}{i} ds_d11x  ->
+               case
+                   _ccall_ f [(STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
+                       ds_d11x
+               of {
+               STBase.S#{-5D,p-}{i} ds_d11X  ->
+               let {
+                 ds_d11Q  :: 
+                     STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+                 {-# L #-}
+                 ds_d11Q =
+                     STBase.S#{-5D,p-}{i}
+                         {_@_ GHC.RealWorld{-3s,p-} ds_d11X}
+               } in 
+                 PrelTup.(,){-62,p-}{i}
+                     {_@_ PrelBase.(){-40,p-}
+                      _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+                      PrelBase.(){-60,p-}{i}
+                      ds_d11Q};};}
+      } in 
+       STBase.ST{-5G,p-}{i}
+           _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.(){-40,p-} ds_d11g
+    } in
+    let { ds_d114  :: 
+             STBase.ST{-3O,p-} GHC.RealWorld{-3s,p-} PrelBase.Int{-3g,p-}
+         {-# L #-}
+         ds_d114 =
+      let {
+       ds_d12a  :: 
+           STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+           -> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+       {-# L #-}
+       ds_d12a =
+           \ ds_d12g  :: 
+                 STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+             {-# L #-}
+             ds_d12g ->
+               case ds_d12g of { STBase.S#{-5D,p-}{i} ds_d12r  ->
+               case
+                   _ccall_ b [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
+                       ds_d12r
+               of {
+               STBase.StateAndInt#{-5v,p-}{i} ds_d12U ds_d12S  ->
+               let {
+                 ds_d12J  :: 
+                     PrelBase.Int{-3g,p-}
+                 {-# L #-}
+                 ds_d12J =
+                     PrelBase.I#{-5b,p-}{i}
+                         {ds_d12S} } in
+               let {
+                 ds_d12N  :: 
+                     STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+                 {-# L #-}
+                 ds_d12N =
+                     STBase.S#{-5D,p-}{i}
+                         {_@_ GHC.RealWorld{-3s,p-} ds_d12U}
+               } in 
+                 PrelTup.(,){-62,p-}{i}
+                     {_@_ PrelBase.Int{-3g,p-}
+                      _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+                      ds_d12J
+                      ds_d12N};};}
+      } in 
+       STBase.ST{-5G,p-}{i}
+           _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d12a
+    } 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-}
+{-# L #-}
+fubar{-r1,x-} =
+    fubar_aZa
 
+NOTE: Simplifier still going after 4 iterations; bailing out.