ghc/tests/ccall/should_compile/cc003.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [] [] [([], fubar{-r1,x-}, fubar_aTQ)]
   6     fubar_aTQ
   7         = STBase.seqPrimIO{-r46,p-}
   8               [PrelBase.(){-40,W-}, PrelBase.Int{-3g,W-}]
   9               (STBase.ST{-5G,w-}{i}
  10                    [GHC.RealWorld{-3s,W-}, PrelBase.(){-40,W-}] _ccall_ f)
  11               (STBase.ST{-5G,w-}{i}
  12                    [GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ b)
  13
  14
  15 ================================================================================
  16 Desugared:
  17 Rec {
  18 fubar_aTQ  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
  19 {-# L #-}
  20 fubar_aTQ =
  21     let { ds_dVM  ::  STBase.PrimIO{-3P,W-} PrelBase.(){-40,W-}
  22           {-# L #-}
  23           ds_dVM =
  24       let {
  25         ds_dW2  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  26                     -> (PrelBase.(){-40,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
  27         {-# L #-}
  28         ds_dW2 =
  29             \ ds_dW8  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  30               {-# L #-}
  31               ds_dW8 ->
  32                 case ds_dW8 of { STBase.S#{-5D,w-}{i} ds_dWn  ->
  33                 case
  34                     _ccall_ f [(STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
  35                         ds_dWn
  36                 of {
  37                 STBase.S#{-5D,w-}{i} ds_dWN  ->
  38                 let {
  39                   ds_dWG  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  40                   {-# L #-}
  41                   ds_dWG =
  42                       STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_dWN}
  43                 } in
  44                   PrelTup.(,){-62,w-}{i}
  45                       {_@_ PrelBase.(){-40,W-}
  46                        _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
  47                        PrelBase.(){-60,w-}{i}
  48                        ds_dWG};};}
  49       } in
  50         STBase.ST{-5G,w-}{i}
  51             _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.(){-40,W-} ds_dW2
  52     } in
  53     let { ds_dVQ  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
  54           {-# L #-}
  55           ds_dVQ =
  56       let {
  57         ds_dX0  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  58                     -> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
  59         {-# L #-}
  60         ds_dX0 =
  61             \ ds_dX6  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  62               {-# L #-}
  63               ds_dX6 ->
  64                 case ds_dX6 of { STBase.S#{-5D,w-}{i} ds_dXh  ->
  65                 case
  66                     _ccall_ b [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
  67                         ds_dXh
  68                 of {
  69                 STBase.StateAndInt#{-5v,w-}{i} ds_dXK ds_dXI  ->
  70                 let {
  71                   ds_dXz  ::  PrelBase.Int{-3g,W-}
  72                   {-# L #-}
  73                   ds_dXz =
  74                       PrelBase.I#{-5b,w-}{i} {ds_dXI} } in
  75                 let {
  76                   ds_dXD  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  77                   {-# L #-}
  78                   ds_dXD =
  79                       STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_dXK}
  80                 } in
  81                   PrelTup.(,){-62,w-}{i}
  82                       {_@_ PrelBase.Int{-3g,W-}
  83                        _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
  84                        ds_dXz
  85                        ds_dXD};};}
  86       } in
  87         STBase.ST{-5G,w-}{i}
  88             _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_dX0
  89     } in
  90     STBase.seqPrimIO{-r46,p-}
  91         _@_ PrelBase.(){-40,W-} _@_ PrelBase.Int{-3g,W-} ds_dVM ds_dVQ
  92 fubar{-r1,x-}  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
  93 {-# L #-}
  94 fubar{-r1,x-} =
  95     fubar_aTQ
  96 end Rec }