ghc/tests/ccall/should_compile/cc001.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [] [] [([], c{-r5,x-}, c_aZc)]
   6     c_aZc x1_r4l x2_r4m x3_r4n x4_r4o
   7           = STBase.ST{-5G,w-}{i}
   8                 [GHC.RealWorld{-3s,W-}, PrelBase.Float{-3c,W-}] _ccall_ c
   9                                                                     x1_r4l x2_r4m x3_r4n x4_r4o
  10 AbsBinds [] [] [([], b{-r3,x-}, b_aZE)]
  11     b_aZE x_r4j
  12           = STBase.ST{-5G,w-}{i}
  13                 [GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ b x_r4j
  14 AbsBinds [] [] [([], a{-r1,x-}, a_aZR)]
  15     a_aZR
  16         = STBase.ST{-5G,w-}{i}
  17               [GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ a
  18 AbsBinds [] [] [([], d{-r7,x-}, d_aZY)]
  19     d_aZY
  20         = STBase.thenPrimIO{-r4t,p-}
  21               [PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-}]
  22               a{-r1,x-}
  23               (\ x_r4q
  24                  -> STBase.thenPrimIO{-r4t,p-}
  25                         [PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-}]
  26                         (b{-r3,x-} x_r4q)
  27                         (\ y_r4s -> c{-r5,x-} y_r4s 'f' lit_a10r lit_a10t))
  28 d.Fractional_a10l = PrelNum.$d23{-rsg,p-}
  29 fromRational_a10q =
  30     PrelNum.fromRational{-8T,p-} PrelBase.Float{-3c,W-}
  31         d.Fractional_a10l
  32 lit_a10r = fromRational_a10q 1.0000000000000000
  33 d.Fractional_a10p = PrelNum.$d14{-rs6,p-}
  34 fromRational_a10s =
  35     PrelNum.fromRational{-8T,p-} PrelBase.Double{-3a,W-}
  36         d.Fractional_a10p
  37 lit_a10t = fromRational_a10s 2.0000000000000000
  38
  39
  40 ================================================================================
  41 Desugared:
  42 Rec {
  43 c_aZc  ::  PrelBase.Int{-3g,W-}
  44            -> PrelBase.Char{-38,W-}
  45            -> PrelBase.Float{-3c,W-}
  46            -> PrelBase.Double{-3a,W-}
  47            -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
  48 {-# L #-}
  49 c_aZc =
  50     \ x1_r4l  ::  PrelBase.Int{-3g,W-}
  51       {-# L #-}
  52       x1_r4l x2_r4m  ::  PrelBase.Char{-38,W-}
  53              {-# L #-}
  54              x2_r4m x3_r4n  ::  PrelBase.Float{-3c,W-}
  55                     {-# L #-}
  56                     x3_r4n x4_r4o  ::  PrelBase.Double{-3a,W-}
  57                            {-# L #-}
  58                            x4_r4o ->
  59         let {
  60           ds_d17v  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  61                        -> (PrelBase.Float{-3c,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
  62           {-# L #-}
  63           ds_d17v =
  64               \ ds_d17B  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  65                 {-# L #-}
  66                 ds_d17B ->
  67                   case ds_d17B of { STBase.S#{-5D,w-}{i} ds_d18A  ->
  68                   case x1_r4l of { PrelBase.I#{-5b,w-}{i} ds_d18J  ->
  69                   case x2_r4m of { PrelBase.C#{-54,w-}{i} ds_d18S  ->
  70                   case x3_r4n of { PrelBase.F#{-59,w-}{i} ds_d191  ->
  71                   case x4_r4o of { PrelBase.D#{-56,w-}{i} ds_d19o  ->
  72                   case
  73                       _ccall_ c [(STBase.StateAndFloat#{-3C,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-}) GHC.Int#{-3f,W-} GHC.Char#{-37,W-} GHC.Float#{-3b,W-} GHC.Double#{-39,W-}]!
  74                           ds_d18A ds_d18J ds_d18S ds_d191 ds_d19o
  75                   of {
  76                   STBase.StateAndFloat#{-5u,w-}{i} ds_d19R ds_d19P  ->
  77                   let {
  78                     ds_d19G  ::  PrelBase.Float{-3c,W-}
  79                     {-# L #-}
  80                     ds_d19G =
  81                         PrelBase.F#{-59,w-}{i} {ds_d19P} } in
  82                   let {
  83                     ds_d19K  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
  84                     {-# L #-}
  85                     ds_d19K =
  86                         STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d19R}
  87                   } in
  88                     PrelTup.(,){-62,w-}{i}
  89                         {_@_ PrelBase.Float{-3c,W-}
  90                          _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
  91                          ds_d19G
  92                          ds_d19K};};};};};};}
  93         } in
  94           STBase.ST{-5G,w-}{i}
  95               _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Float{-3c,W-} ds_d17v
  96 c{-r5,x-}  ::  PrelBase.Int{-3g,W-}
  97                -> PrelBase.Char{-38,W-}
  98                -> PrelBase.Float{-3c,W-}
  99                -> PrelBase.Double{-3a,W-}
 100                -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 101 {-# L #-}
 102 c{-r5,x-} =
 103     c_aZc
 104 b_aZE  ::  PrelBase.Int{-3g,W-}
 105            -> STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 106 {-# L #-}
 107 b_aZE =
 108     \ x_r4j  ::  PrelBase.Int{-3g,W-}
 109       {-# L #-}
 110       x_r4j ->
 111         let {
 112           ds_d1ab  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
 113                        -> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
 114           {-# L #-}
 115           ds_d1ab =
 116               \ ds_d1ah  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
 117                 {-# L #-}
 118                 ds_d1ah ->
 119                   case ds_d1ah of { STBase.S#{-5D,w-}{i} ds_d1aq  ->
 120                   case x_r4j of { PrelBase.I#{-5b,w-}{i} ds_d1aE  ->
 121                   case
 122                       _ccall_ b [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-}) GHC.Int#{-3f,W-}]!
 123                           ds_d1aq ds_d1aE
 124                   of {
 125                   STBase.StateAndInt#{-5v,w-}{i} ds_d1b7 ds_d1b5  ->
 126                   let {
 127                     ds_d1aW  ::  PrelBase.Int{-3g,W-}
 128                     {-# L #-}
 129                     ds_d1aW =
 130                         PrelBase.I#{-5b,w-}{i} {ds_d1b5} } in
 131                   let {
 132                     ds_d1b0  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
 133                     {-# L #-}
 134                     ds_d1b0 =
 135                         STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d1b7}
 136                   } in
 137                     PrelTup.(,){-62,w-}{i}
 138                         {_@_ PrelBase.Int{-3g,W-}
 139                          _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
 140                          ds_d1aW
 141                          ds_d1b0};};};}
 142         } in
 143           STBase.ST{-5G,w-}{i}
 144               _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_d1ab
 145 b{-r3,x-}  ::  PrelBase.Int{-3g,W-}
 146                -> STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 147 {-# L #-}
 148 b{-r3,x-} =
 149     b_aZE
 150 a_aZR  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 151 {-# L #-}
 152 a_aZR =
 153     let {
 154       ds_d1bq  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
 155                    -> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
 156       {-# L #-}
 157       ds_d1bq =
 158           \ ds_d1bw  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
 159             {-# L #-}
 160             ds_d1bw ->
 161               case ds_d1bw of { STBase.S#{-5D,w-}{i} ds_d1bH  ->
 162               case
 163                   _ccall_ a [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
 164                       ds_d1bH
 165               of {
 166               STBase.StateAndInt#{-5v,w-}{i} ds_d1ca ds_d1c8  ->
 167               let {
 168                 ds_d1bZ  ::  PrelBase.Int{-3g,W-}
 169                 {-# L #-}
 170                 ds_d1bZ =
 171                     PrelBase.I#{-5b,w-}{i} {ds_d1c8} } in
 172               let {
 173                 ds_d1c3  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
 174                 {-# L #-}
 175                 ds_d1c3 =
 176                     STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d1ca}
 177               } in
 178                 PrelTup.(,){-62,w-}{i}
 179                     {_@_ PrelBase.Int{-3g,W-}
 180                      _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
 181                      ds_d1bZ
 182                      ds_d1c3};};}
 183     } in
 184       STBase.ST{-5G,w-}{i}
 185           _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_d1bq
 186 a{-r1,x-}  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 187 {-# L #-}
 188 a{-r1,x-} =
 189     a_aZR
 190 d_aZY  ::  STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 191 {-# L #-}
 192 d_aZY =
 193     let {
 194       ds_d1cw  ::  PrelBase.Int{-3g,W-}
 195                    -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 196       {-# L #-}
 197       ds_d1cw =
 198           \ x_r4q  ::  PrelBase.Int{-3g,W-}
 199             {-# L #-}
 200             x_r4q ->
 201               let {
 202                 ds_d1cL  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 203                 {-# L #-}
 204                 ds_d1cL =
 205                     b{-r3,x-} x_r4q } in
 206               let {
 207                 ds_d1cP  ::  PrelBase.Int{-3g,W-}
 208                              -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 209                 {-# L #-}
 210                 ds_d1cP =
 211                     \ y_r4s  ::  PrelBase.Int{-3g,W-}
 212                       {-# L #-}
 213                       y_r4s ->
 214                         (let {
 215                            ds_d1df  ::  PrelBase.Char{-38,W-}
 216                            {-# L #-}
 217                            ds_d1df =
 218                                PrelBase.C#{-54,w-}{i} {'f'}
 219                          } in  c{-r5,x-} y_r4s ds_d1df)
 220                             lit_a10r lit_a10t
 221               } in
 222                 STBase.thenPrimIO{-r4t,p-}
 223                     _@_ PrelBase.Int{-3g,W-} _@_ PrelBase.Float{-3c,W-} ds_d1cL ds_d1cP
 224     } in
 225       STBase.thenPrimIO{-r4t,p-}
 226           _@_ PrelBase.Int{-3g,W-}
 227           _@_ PrelBase.Float{-3c,W-}
 228           a{-r1,x-}
 229           ds_d1cw
 230 d{-r7,x-}  ::  STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 231 {-# L #-}
 232 d{-r7,x-} =
 233     d_aZY
 234 d.Fractional_a10l  ::  {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,W-}}
 235 {-# L #-}
 236 d.Fractional_a10l =
 237     PrelNum.$d23{-rsg,p-}
 238 fromRational_a10q  ::  PrelNum.Rational{-3r,p-}
 239                        -> PrelBase.Float{-3c,W-}
 240 {-# L #-}
 241 fromRational_a10q =
 242     PrelNum.fromRational{-8T,p-}
 243         _@_ PrelBase.Float{-3c,W-} d.Fractional_a10l
 244 lit_a10r  ::  PrelBase.Float{-3c,W-}
 245 {-# L #-}
 246 lit_a10r =
 247     fromRational_a10q _rational_  1 1
 248 d.Fractional_a10p  ::  {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,W-}}
 249 {-# L #-}
 250 d.Fractional_a10p =
 251     PrelNum.$d14{-rs6,p-}
 252 fromRational_a10s  ::  PrelNum.Rational{-3r,p-}
 253                        -> PrelBase.Double{-3a,W-}
 254 {-# L #-}
 255 fromRational_a10s =
 256     PrelNum.fromRational{-8T,p-}
 257         _@_ PrelBase.Double{-3a,W-} d.Fractional_a10p
 258 lit_a10t  ::  PrelBase.Double{-3a,W-}
 259 {-# L #-}
 260 lit_a10t =
 261     fromRational_a10s _rational_  2 1
 262 end Rec }