ghc/tests/ccall/should_compile/cc003.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds [] [] [([], fubar{-r1,x-}, fubar_aZa)]
   8     fubar_aZa
   9         =   STBase.seqPrimIO{-r46,p-}
  10                 [PrelBase.(){-40,p-}, PrelBase.Int{-3g,p-}]
  11                 (STBase.ST{-5G,p-}{i}
  12                      [GHC.RealWorld{-3s,p-}, PrelBase.(){-40,p-}]
  13                      _ccall_ f)
  14                 (STBase.ST{-5G,p-}{i}
  15                      [GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
  16                      _ccall_ b)
  17 {- nonrec -}
  18
  19
  20 ================================================================================
  21 Desugared:
  22 fubar_aZa  ::
  23     STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
  24 {-# L #-}
  25 fubar_aZa =
  26     let { ds_d110  ::
  27               STBase.ST{-3O,p-} GHC.RealWorld{-3s,p-} PrelBase.(){-40,p-}
  28           {-# L #-}
  29           ds_d110 =
  30       let {
  31         ds_d11g  ::
  32             STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
  33             -> (PrelBase.(){-40,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
  34         {-# L #-}
  35         ds_d11g =
  36             \ ds_d11m  ::
  37                   STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
  38               {-# L #-}
  39               ds_d11m ->
  40                 case ds_d11m of { STBase.S#{-5D,p-}{i} ds_d11x  ->
  41                 case
  42                     _ccall_ f [(STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
  43                         ds_d11x
  44                 of {
  45                 STBase.S#{-5D,p-}{i} ds_d11X  ->
  46                 let {
  47                   ds_d11Q  ::
  48                       STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
  49                   {-# L #-}
  50                   ds_d11Q =
  51                       STBase.S#{-5D,p-}{i}
  52                           {_@_ GHC.RealWorld{-3s,p-} ds_d11X}
  53                 } in
  54                   PrelTup.(,){-62,p-}{i}
  55                       {_@_ PrelBase.(){-40,p-}
  56                        _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
  57                        PrelBase.(){-60,p-}{i}
  58                        ds_d11Q};};}
  59       } in
  60         STBase.ST{-5G,p-}{i}
  61             _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.(){-40,p-} ds_d11g
  62     } in
  63     let { ds_d114  ::
  64               STBase.ST{-3O,p-} GHC.RealWorld{-3s,p-} PrelBase.Int{-3g,p-}
  65           {-# L #-}
  66           ds_d114 =
  67       let {
  68         ds_d12a  ::
  69             STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
  70             -> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
  71         {-# L #-}
  72         ds_d12a =
  73             \ ds_d12g  ::
  74                   STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
  75               {-# L #-}
  76               ds_d12g ->
  77                 case ds_d12g of { STBase.S#{-5D,p-}{i} ds_d12r  ->
  78                 case
  79                     _ccall_ b [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
  80                         ds_d12r
  81                 of {
  82                 STBase.StateAndInt#{-5v,p-}{i} ds_d12U ds_d12S  ->
  83                 let {
  84                   ds_d12J  ::
  85                       PrelBase.Int{-3g,p-}
  86                   {-# L #-}
  87                   ds_d12J =
  88                       PrelBase.I#{-5b,p-}{i}
  89                           {ds_d12S} } in
  90                 let {
  91                   ds_d12N  ::
  92                       STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
  93                   {-# L #-}
  94                   ds_d12N =
  95                       STBase.S#{-5D,p-}{i}
  96                           {_@_ GHC.RealWorld{-3s,p-} ds_d12U}
  97                 } in
  98                   PrelTup.(,){-62,p-}{i}
  99                       {_@_ PrelBase.Int{-3g,p-}
 100                        _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
 101                        ds_d12J
 102                        ds_d12N};};}
 103       } in
 104         STBase.ST{-5G,p-}{i}
 105             _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d12a
 106     } in
 107     STBase.seqPrimIO{-r46,p-}
 108         _@_ PrelBase.(){-40,p-} _@_ PrelBase.Int{-3g,p-} ds_d110 ds_d114
 109 fubar{-r1,x-}  ::
 110     STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
 111 {-# L #-}
 112 fubar{-r1,x-} =
 113     fubar_aZa
 114
 115 NOTE: Simplifier still going after 4 iterations; bailing out.