ghc/compiler/tests/ccall/cc001.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 {- nonrec -}
   8 d.Fractional_a16j =
   9     PrelNum.$d23{-rtW,p-}
  10 fromRational_a16o =
  11     PrelNum.fromRational{-8T,p-}
  12         PrelBase.Float{-3c,p-}
  13         d.Fractional_a16j
  14 lit_a16r =
  15     fromRational_a16o
  16         1.0000000000000000
  17 d.Fractional_a16n =
  18     PrelNum.$d14{-rtM,p-}
  19 fromRational_a16q =
  20     PrelNum.fromRational{-8T,p-}
  21         PrelBase.Double{-3a,p-}
  22         d.Fractional_a16n
  23 lit_a16p =
  24     fromRational_a16q
  25         2.0000000000000000
  26 {- nonrec -}
  27 AbsBinds [] [] [([], c{-r5,x-}, c_a15h)]
  28     c_a15h
  29         x1_r4l x2_r4n x3_r4p x4_r4r
  30                 =   STBase.ST{-5G,p-}{i}
  31                         [GHC.RealWorld{-3s,p-}, PrelBase.Float{-3c,p-}]
  32                         _ccall_ c
  33                             x1_r4l x2_r4n x3_r4p x4_r4r
  34 {- nonrec -}
  35 {- nonrec -}
  36 AbsBinds [] [] [([], b{-r3,x-}, b_a15F)]
  37     b_a15F
  38         x_r4j   =   STBase.ST{-5G,p-}{i}
  39                         [GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
  40                         _ccall_ b
  41                             x_r4j
  42 {- nonrec -}
  43 {- nonrec -}
  44 AbsBinds [] [] [([], a{-r1,x-}, a_a15R)]
  45     a_a15R
  46         =   STBase.ST{-5G,p-}{i}
  47                 [GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
  48                 _ccall_ a
  49 {- nonrec -}
  50 {- nonrec -}
  51 AbsBinds [] [] [([], d{-r7,x-}, d_a15Y)]
  52     d_a15Y
  53         =   STBase.thenPrimIO{-r4w,p-}
  54                 [PrelBase.Int{-3g,p-}, PrelBase.Float{-3c,p-}]
  55                 a{-r1,x-}
  56                 (\ x_r4t   ->  STBase.thenPrimIO{-r4w,p-}
  57                                    [PrelBase.Int{-3g,p-}, PrelBase.Float{-3c,p-}]
  58                                    (b{-r3,x-}
  59                                         x_r4t)
  60                                    (\ y_r4v   ->  c{-r5,x-}
  61                                                       y_r4v 'f' lit_a16r lit_a16p))
  62 {- nonrec -}
  63
  64
  65 ================================================================================
  66 Desugared:
  67 Rec {
  68 d.Fractional_a16j  ::
  69     {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,p-}}
  70 {-# L #-}
  71 d.Fractional_a16j =
  72     PrelNum.$d23{-rtW,p-}
  73 fromRational_a16o  ::
  74     PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
  75 {-# L #-}
  76 fromRational_a16o =
  77     PrelNum.fromRational{-8T,p-}
  78         _@_ PrelBase.Float{-3c,p-} d.Fractional_a16j
  79 lit_a16r  ::
  80     PrelBase.Float{-3c,p-}
  81 {-# L #-}
  82 lit_a16r =
  83     fromRational_a16o
  84         _rational_  1 1
  85 d.Fractional_a16n  ::
  86     {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,p-}}
  87 {-# L #-}
  88 d.Fractional_a16n =
  89     PrelNum.$d14{-rtM,p-}
  90 fromRational_a16q  ::
  91     PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
  92 {-# L #-}
  93 fromRational_a16q =
  94     PrelNum.fromRational{-8T,p-}
  95         _@_ PrelBase.Double{-3a,p-} d.Fractional_a16n
  96 lit_a16p  ::
  97     PrelBase.Double{-3a,p-}
  98 {-# L #-}
  99 lit_a16p =
 100     fromRational_a16q
 101         _rational_  2 1
 102 c_a15h  ::
 103     PrelBase.Int{-3g,p-}
 104     -> PrelBase.Char{-38,p-}
 105     -> PrelBase.Float{-3c,p-}
 106     -> PrelBase.Double{-3a,p-}
 107     -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
 108 {-# L #-}
 109 c_a15h =
 110     \ x1_r4l  ::
 111           PrelBase.Int{-3g,p-}
 112       {-# L #-}
 113       x1_r4l x2_r4n  ::
 114                  PrelBase.Char{-38,p-}
 115              {-# L #-}
 116              x2_r4n x3_r4p  ::
 117                         PrelBase.Float{-3c,p-}
 118                     {-# L #-}
 119                     x3_r4p x4_r4r  ::
 120                                PrelBase.Double{-3a,p-}
 121                            {-# L #-}
 122                            x4_r4r ->
 123         let {
 124           ds_d1et  ::
 125               STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 126               -> (PrelBase.Float{-3c,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
 127           {-# L #-}
 128           ds_d1et =
 129               \ ds_d1ez  ::
 130                     STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 131                 {-# L #-}
 132                 ds_d1ez ->
 133                   case ds_d1ez of { STBase.S#{-5D,p-}{i} ds_d1eI  ->
 134                   case x1_r4l of { PrelBase.I#{-5b,p-}{i} ds_d1eR  ->
 135                   case x2_r4n of { PrelBase.C#{-54,p-}{i} ds_d1f0  ->
 136                   case x3_r4p of { PrelBase.F#{-59,p-}{i} ds_d1f9  ->
 137                   case x4_r4r of { PrelBase.D#{-56,p-}{i} ds_d1fw  ->
 138                   case
 139                       _ccall_ c [(STBase.StateAndFloat#{-3C,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-}) GHC.Int#{-3f,p-} GHC.Char#{-37,p-} GHC.Float#{-3b,p-} GHC.Double#{-39,p-}]!
 140                           ds_d1eI ds_d1eR ds_d1f0 ds_d1f9 ds_d1fw
 141                   of {
 142                   STBase.StateAndFloat#{-5u,p-}{i} ds_d1fZ ds_d1fX  ->
 143                   let {
 144                     ds_d1fO  ::
 145                         PrelBase.Float{-3c,p-}
 146                     {-# L #-}
 147                     ds_d1fO =
 148                         PrelBase.F#{-59,p-}{i}
 149                             {ds_d1fX} } in
 150                   let {
 151                     ds_d1fS  ::
 152                         STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 153                     {-# L #-}
 154                     ds_d1fS =
 155                         STBase.S#{-5D,p-}{i}
 156                             {_@_ GHC.RealWorld{-3s,p-} ds_d1fZ}
 157                   } in
 158                     PrelTup.(,){-62,p-}{i}
 159                         {_@_ PrelBase.Float{-3c,p-}
 160                          _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
 161                          ds_d1fO
 162                          ds_d1fS};};};};};};}
 163         } in
 164           STBase.ST{-5G,p-}{i}
 165               _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Float{-3c,p-} ds_d1et
 166 c{-r5,x-}  ::
 167     PrelBase.Int{-3g,p-}
 168     -> PrelBase.Char{-38,p-}
 169     -> PrelBase.Float{-3c,p-}
 170     -> PrelBase.Double{-3a,p-}
 171     -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
 172 {-# L #-}
 173 c{-r5,x-} =
 174     c_a15h
 175 b_a15F  ::
 176     PrelBase.Int{-3g,p-} -> STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
 177 {-# L #-}
 178 b_a15F =
 179     \ x_r4j  ::
 180           PrelBase.Int{-3g,p-}
 181       {-# L #-}
 182       x_r4j ->
 183         let {
 184           ds_d1gj  ::
 185               STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 186               -> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
 187           {-# L #-}
 188           ds_d1gj =
 189               \ ds_d1gp  ::
 190                     STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 191                 {-# L #-}
 192                 ds_d1gp ->
 193                   case ds_d1gp of { STBase.S#{-5D,p-}{i} ds_d1gy  ->
 194                   case x_r4j of { PrelBase.I#{-5b,p-}{i} ds_d1gM  ->
 195                   case
 196                       _ccall_ b [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-}) GHC.Int#{-3f,p-}]!
 197                           ds_d1gy ds_d1gM
 198                   of {
 199                   STBase.StateAndInt#{-5v,p-}{i} ds_d1hf ds_d1hd  ->
 200                   let {
 201                     ds_d1h4  ::
 202                         PrelBase.Int{-3g,p-}
 203                     {-# L #-}
 204                     ds_d1h4 =
 205                         PrelBase.I#{-5b,p-}{i}
 206                             {ds_d1hd} } in
 207                   let {
 208                     ds_d1h8  ::
 209                         STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 210                     {-# L #-}
 211                     ds_d1h8 =
 212                         STBase.S#{-5D,p-}{i}
 213                             {_@_ GHC.RealWorld{-3s,p-} ds_d1hf}
 214                   } in
 215                     PrelTup.(,){-62,p-}{i}
 216                         {_@_ PrelBase.Int{-3g,p-}
 217                          _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
 218                          ds_d1h4
 219                          ds_d1h8};};};}
 220         } in
 221           STBase.ST{-5G,p-}{i}
 222               _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d1gj
 223 b{-r3,x-}  ::
 224     PrelBase.Int{-3g,p-} -> STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
 225 {-# L #-}
 226 b{-r3,x-} =
 227     b_a15F
 228 a_a15R  ::
 229     STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
 230 {-# L #-}
 231 a_a15R =
 232     let {
 233       ds_d1hy  ::
 234           STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 235           -> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
 236       {-# L #-}
 237       ds_d1hy =
 238           \ ds_d1hE  ::
 239                 STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 240             {-# L #-}
 241             ds_d1hE ->
 242               case ds_d1hE of { STBase.S#{-5D,p-}{i} ds_d1hP  ->
 243               case
 244                   _ccall_ a [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
 245                       ds_d1hP
 246               of {
 247               STBase.StateAndInt#{-5v,p-}{i} ds_d1ii ds_d1ig  ->
 248               let {
 249                 ds_d1i7  ::
 250                     PrelBase.Int{-3g,p-}
 251                 {-# L #-}
 252                 ds_d1i7 =
 253                     PrelBase.I#{-5b,p-}{i}
 254                         {ds_d1ig} } in
 255               let {
 256                 ds_d1ib  ::
 257                     STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
 258                 {-# L #-}
 259                 ds_d1ib =
 260                     STBase.S#{-5D,p-}{i}
 261                         {_@_ GHC.RealWorld{-3s,p-} ds_d1ii}
 262               } in
 263                 PrelTup.(,){-62,p-}{i}
 264                     {_@_ PrelBase.Int{-3g,p-}
 265                      _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
 266                      ds_d1i7
 267                      ds_d1ib};};}
 268     } in
 269       STBase.ST{-5G,p-}{i}
 270           _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d1hy
 271 a{-r1,x-}  ::
 272     STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
 273 {-# L #-}
 274 a{-r1,x-} =
 275     a_a15R
 276 d_a15Y  ::
 277     STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
 278 {-# L #-}
 279 d_a15Y =
 280     let {
 281       ds_d1iE  ::
 282           PrelBase.Int{-3g,p-}
 283           -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
 284       {-# L #-}
 285       ds_d1iE =
 286           \ x_r4t  ::
 287                 PrelBase.Int{-3g,p-}
 288             {-# L #-}
 289             x_r4t ->
 290               let {
 291                 ds_d1iT  ::
 292                     STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
 293                 {-# L #-}
 294                 ds_d1iT =
 295                     b{-r3,x-}
 296                         x_r4t } in
 297               let {
 298                 ds_d1iX  ::
 299                     PrelBase.Int{-3g,p-}
 300                     -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
 301                 {-# L #-}
 302                 ds_d1iX =
 303                     \ y_r4v  ::
 304                           PrelBase.Int{-3g,p-}
 305                       {-# L #-}
 306                       y_r4v ->
 307                         let {
 308                           ds_d1jf  ::
 309                               PrelBase.Char{-38,p-}
 310                           {-# L #-}
 311                           ds_d1jf =
 312                               PrelBase.C#{-54,p-}{i}
 313                                   {'f'}
 314                         } in
 315                           c{-r5,x-}
 316                               y_r4v ds_d1jf lit_a16r lit_a16p
 317               } in
 318                 STBase.thenPrimIO{-r4w,p-}
 319                     _@_ PrelBase.Int{-3g,p-} _@_ PrelBase.Float{-3c,p-} ds_d1iT ds_d1iX
 320     } in
 321       STBase.thenPrimIO{-r4w,p-}
 322           _@_ PrelBase.Int{-3g,p-}
 323           _@_ PrelBase.Float{-3c,p-}
 324           a{-r1,x-}
 325           ds_d1iE
 326 d{-r7,x-}  ::
 327     STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
 328 {-# L #-}
 329 d{-r7,x-} =
 330     d_a15Y
 331 end Rec }
 332
 333 NOTE: Simplifier still going after 4 iterations; bailing out.