ghc/compiler/tests/ccall/cc006.stderr

   1 Typechecked:
   2 AbsBinds [] [] [(a.t439, Test.a{-r79-})]
   3     {- nonrec -}
   4     a.t439 :: IoWorld -> (CHeapPtr, IoWorld)
   5     a.t439
   6         = ccall  a [CHeapPtr]
   7 {- nonrec -}
   8 {- nonrec -}
   9 AbsBinds [] [] [(b.t440, Test.b{-r80-})]
  10     {- nonrec -}
  11     b.t440 :: IoWorld -> (StablePtr, IoWorld)
  12     b.t440
  13         = ccall  b [StablePtr]
  14 {- nonrec -}
  15 {- nonrec -}
  16 AbsBinds [] [] [(c.t441, Test.c{-r81-})]
  17     {- nonrec -}
  18     c.t441 :: CHeapPtr -> IoWorld -> (Int, IoWorld)
  19     c.t441
  20         x.r211 = ccall  c [Int, CHeapPtr] x.r211
  21 {- nonrec -}
  22 {- nonrec -}
  23 AbsBinds [] [] [(d.t442, Test.d{-r82-})]
  24     {- nonrec -}
  25     d.t442 :: StablePtr -> IoWorld -> (Int, IoWorld)
  26     d.t442
  27         x.r212 = ccall  d [Int, StablePtr] x.r212
  28 {- nonrec -}
  29 {- nonrec -}
  30 Desugared:
  31 Test.a{-r79-} :: IoWorld -> (CHeapPtr, IoWorld)
  32 _NI_
  33 Test.a{-r79-} =
  34     \ ds.d0 ->
  35         case
  36             (case
  37                  (case ds.d0 of {
  38                     IoWorld ds.d1# -> ds.d1#
  39                   })
  40              of {
  41                a.d6# -> ( _CCALL_ a [] CHeapPtr# )! a.d6#
  42              })
  43         of {
  44           CHPPrimAndIoWorld ds.d2#  ds.d3# ->
  45               let {
  46                 a.d4 :: CHeapPtr
  47                 _NI_
  48                 a.d4 = CHP#! ds.d2# } in
  49               let {
  50                 a.d5 :: IoWorld
  51                 _NI_
  52                 a.d5 = IoWorld! ds.d3#
  53               } in  Tup2! CHeapPtr IoWorld a.d4 a.d5
  54         }
  55 Test.b{-r80-} :: IoWorld -> (StablePtr, IoWorld)
  56 _NI_
  57 Test.b{-r80-} =
  58     \ ds.d7 ->
  59         case
  60             (case
  61                  (case ds.d7 of {
  62                     IoWorld ds.d8# -> ds.d8#
  63                   })
  64              of {
  65                a.d13# -> ( _CCALL_ b [] StablePtr# )! a.d13#
  66              })
  67         of {
  68           SPPrimAndIoWorld ds.d9#  ds.d10# ->
  69               let {
  70                 a.d11 :: StablePtr
  71                 _NI_
  72                 a.d11 = StablePtr#! ds.d9# } in
  73               let {
  74                 a.d12 :: IoWorld
  75                 _NI_
  76                 a.d12 = IoWorld! ds.d10#
  77               } in  Tup2! StablePtr IoWorld a.d11 a.d12
  78         }
  79 Test.c{-r81-} :: CHeapPtr -> IoWorld -> (Int, IoWorld)
  80 _NI_
  81 Test.c{-r81-} =
  82     \ x.r211  ds.d14 ->
  83         case
  84             (case
  85                  (case ds.d14 of {
  86                     IoWorld ds.d15# -> ds.d15#
  87                   })
  88              of {
  89                a.d21# ->
  90                    case
  91                        (case x.r211 of {
  92                           CHP# ds.d16# -> ds.d16#
  93                         })
  94                    of {
  95                      a.d22# -> ( _CCALL_ c [CHeapPtr#] Int# )! a.d21# a.d22#
  96                    }
  97              })
  98         of {
  99           IntPrimAndIoWorld ds.d17#  ds.d18# ->
 100               let {
 101                 a.d19 :: Int
 102                 _NI_
 103                 a.d19 = I#! ds.d17# } in
 104               let {
 105                 a.d20 :: IoWorld
 106                 _NI_
 107                 a.d20 = IoWorld! ds.d18#
 108               } in  Tup2! Int IoWorld a.d19 a.d20
 109         }
 110 Test.d{-r82-} :: StablePtr -> IoWorld -> (Int, IoWorld)
 111 _NI_
 112 Test.d{-r82-} =
 113     \ x.r212  ds.d23 ->
 114         case
 115             (case
 116                  (case ds.d23 of {
 117                     IoWorld ds.d24# -> ds.d24#
 118                   })
 119              of {
 120                a.d30# ->
 121                    case
 122                        (case x.r212 of {
 123                           StablePtr# ds.d25# -> ds.d25#
 124                         })
 125                    of {
 126                      a.d31# -> ( _CCALL_ d [StablePtr#] Int# )! a.d30# a.d31#
 127                    }
 128              })
 129         of {
 130           IntPrimAndIoWorld ds.d26#  ds.d27# ->
 131               let {
 132                 a.d28 :: Int
 133                 _NI_
 134                 a.d28 = I#! ds.d26# } in
 135               let {
 136                 a.d29 :: IoWorld
 137                 _NI_
 138                 a.d29 = IoWorld! ds.d27#
 139               } in  Tup2! Int IoWorld a.d28 a.d29
 140         }