[project @ 1997-09-05 14:11:05 by simonm]
[ghc-hetmet.git] / ghc / tests / ccall / should_compile / cc001.stderr
index 952647f..4556d5d 100644 (file)
 
 ================================================================================
 Typechecked:
-{- nonrec -}
-{- nonrec -}
-{- nonrec -}
-d.Fractional_a16j =
-    PrelNum.$d23{-rtW,p-}
-fromRational_a16o =
-    PrelNum.fromRational{-8T,p-}
-       PrelBase.Float{-3c,p-}
-       d.Fractional_a16j
-lit_a16r =
-    fromRational_a16o
-       1.0000000000000000
-d.Fractional_a16n =
-    PrelNum.$d14{-rtM,p-}
-fromRational_a16q =
-    PrelNum.fromRational{-8T,p-}
-       PrelBase.Double{-3a,p-}
-       d.Fractional_a16n
-lit_a16p =
-    fromRational_a16q
-       2.0000000000000000
-{- nonrec -}
-AbsBinds [] [] [([], c{-r5,x-}, c_a15h)]
-    c_a15h
-       x1_r4l x2_r4n x3_r4p x4_r4r
-               =   STBase.ST{-5G,p-}{i}
-                       [GHC.RealWorld{-3s,p-}, PrelBase.Float{-3c,p-}]
-                       _ccall_ c
-                           x1_r4l x2_r4n x3_r4p x4_r4r
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], b{-r3,x-}, b_a15F)]
-    b_a15F
-       x_r4j   =   STBase.ST{-5G,p-}{i}
-                       [GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
-                       _ccall_ b
-                           x_r4j
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], a{-r1,x-}, a_a15R)]
-    a_a15R
-       =   STBase.ST{-5G,p-}{i}
-               [GHC.RealWorld{-3s,p-}, PrelBase.Int{-3g,p-}]
-               _ccall_ a
-{- nonrec -}
-{- nonrec -}
-AbsBinds [] [] [([], d{-r7,x-}, d_a15Y)]
-    d_a15Y
-       =   STBase.thenPrimIO{-r4w,p-}
-               [PrelBase.Int{-3g,p-}, PrelBase.Float{-3c,p-}]
-               a{-r1,x-}
-               (\ x_r4t   ->  STBase.thenPrimIO{-r4w,p-}
-                                  [PrelBase.Int{-3g,p-}, PrelBase.Float{-3c,p-}]
-                                  (b{-r3,x-}
-                                       x_r4t)
-                                  (\ y_r4v   ->  c{-r5,x-}
-                                                     y_r4v 'f' lit_a16r lit_a16p))
-{- nonrec -}
+AbsBinds [] [] [([], c{-r5,x-}, c_aZc)]
+    c_aZc x1_r4l x2_r4m x3_r4n x4_r4o
+         = STBase.ST{-5G,w-}{i}
+               [GHC.RealWorld{-3s,W-}, PrelBase.Float{-3c,W-}] _ccall_ c
+                                                                   x1_r4l x2_r4m x3_r4n x4_r4o
+AbsBinds [] [] [([], b{-r3,x-}, b_aZE)]
+    b_aZE x_r4j
+         = STBase.ST{-5G,w-}{i}
+               [GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ b x_r4j
+AbsBinds [] [] [([], a{-r1,x-}, a_aZR)]
+    a_aZR
+       = STBase.ST{-5G,w-}{i}
+             [GHC.RealWorld{-3s,W-}, PrelBase.Int{-3g,W-}] _ccall_ a
+AbsBinds [] [] [([], d{-r7,x-}, d_aZY)]
+    d_aZY
+       = STBase.thenPrimIO{-r4t,p-}
+             [PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-}]
+             a{-r1,x-}
+             (\ x_r4q
+                -> STBase.thenPrimIO{-r4t,p-}
+                       [PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-}]
+                       (b{-r3,x-} x_r4q)
+                       (\ y_r4s -> c{-r5,x-} y_r4s 'f' lit_a10r lit_a10t))
+d.Fractional_a10l = PrelNum.$d23{-rsg,p-}
+fromRational_a10q =
+    PrelNum.fromRational{-8T,p-} PrelBase.Float{-3c,W-}
+       d.Fractional_a10l
+lit_a10r = fromRational_a10q 1.0000000000000000
+d.Fractional_a10p = PrelNum.$d14{-rs6,p-}
+fromRational_a10s =
+    PrelNum.fromRational{-8T,p-} PrelBase.Double{-3a,W-}
+       d.Fractional_a10p
+lit_a10t = fromRational_a10s 2.0000000000000000
 
 
 ================================================================================
 Desugared:
 Rec {
-d.Fractional_a16j  :: 
-    {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,p-}}
-{-# L #-}
-d.Fractional_a16j =
-    PrelNum.$d23{-rtW,p-}
-fromRational_a16o  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
-{-# L #-}
-fromRational_a16o =
-    PrelNum.fromRational{-8T,p-}
-       _@_ PrelBase.Float{-3c,p-} d.Fractional_a16j
-lit_a16r  :: 
-    PrelBase.Float{-3c,p-}
-{-# L #-}
-lit_a16r =
-    fromRational_a16o
-       _rational_  1 1
-d.Fractional_a16n  :: 
-    {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,p-}}
-{-# L #-}
-d.Fractional_a16n =
-    PrelNum.$d14{-rtM,p-}
-fromRational_a16q  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
-{-# L #-}
-fromRational_a16q =
-    PrelNum.fromRational{-8T,p-}
-       _@_ PrelBase.Double{-3a,p-} d.Fractional_a16n
-lit_a16p  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a16p =
-    fromRational_a16q
-       _rational_  2 1
-c_a15h  :: 
-    PrelBase.Int{-3g,p-}
-    -> PrelBase.Char{-38,p-}
-    -> PrelBase.Float{-3c,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
+c_aZc  ::  PrelBase.Int{-3g,W-}
+          -> PrelBase.Char{-38,W-}
+          -> PrelBase.Float{-3c,W-}
+          -> PrelBase.Double{-3a,W-}
+          -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 {-# L #-}
-c_a15h =
-    \ x1_r4l  :: 
-         PrelBase.Int{-3g,p-}
+c_aZc =
+    \ x1_r4l  ::  PrelBase.Int{-3g,W-}
       {-# L #-}
-      x1_r4l x2_r4n  :: 
-                PrelBase.Char{-38,p-}
+      x1_r4l x2_r4m  ::  PrelBase.Char{-38,W-}
             {-# L #-}
-            x2_r4n x3_r4p  :: 
-                       PrelBase.Float{-3c,p-}
+            x2_r4m x3_r4n  ::  PrelBase.Float{-3c,W-}
                    {-# L #-}
-                   x3_r4p x4_r4r  :: 
-                              PrelBase.Double{-3a,p-}
+                   x3_r4n x4_r4o  ::  PrelBase.Double{-3a,W-}
                           {-# L #-}
-                          x4_r4r ->
+                          x4_r4o ->
        let {
-         ds_d1et  :: 
-             STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-             -> (PrelBase.Float{-3c,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+         ds_d17v  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
+                      -> (PrelBase.Float{-3c,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
          {-# L #-}
-         ds_d1et =
-             \ ds_d1ez  :: 
-                   STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+         ds_d17v =
+             \ ds_d17B  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
                {-# L #-}
-               ds_d1ez ->
-                 case ds_d1ez of { STBase.S#{-5D,p-}{i} ds_d1eI  ->
-                 case x1_r4l of { PrelBase.I#{-5b,p-}{i} ds_d1eR  ->
-                 case x2_r4n of { PrelBase.C#{-54,p-}{i} ds_d1f0  ->
-                 case x3_r4p of { PrelBase.F#{-59,p-}{i} ds_d1f9  ->
-                 case x4_r4r of { PrelBase.D#{-56,p-}{i} ds_d1fw  ->
+               ds_d17B ->
+                 case ds_d17B of { STBase.S#{-5D,w-}{i} ds_d18A  ->
+                 case x1_r4l of { PrelBase.I#{-5b,w-}{i} ds_d18J  ->
+                 case x2_r4m of { PrelBase.C#{-54,w-}{i} ds_d18S  ->
+                 case x3_r4n of { PrelBase.F#{-59,w-}{i} ds_d191  ->
+                 case x4_r4o of { PrelBase.D#{-56,w-}{i} ds_d19o  ->
                  case
-                     _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-}]!
-                         ds_d1eI ds_d1eR ds_d1f0 ds_d1f9 ds_d1fw
+                     _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-}]!
+                         ds_d18A ds_d18J ds_d18S ds_d191 ds_d19o
                  of {
-                 STBase.StateAndFloat#{-5u,p-}{i} ds_d1fZ ds_d1fX  ->
+                 STBase.StateAndFloat#{-5u,w-}{i} ds_d19R ds_d19P  ->
                  let {
-                   ds_d1fO  :: 
-                       PrelBase.Float{-3c,p-}
+                   ds_d19G  ::  PrelBase.Float{-3c,W-}
                    {-# L #-}
-                   ds_d1fO =
-                       PrelBase.F#{-59,p-}{i}
-                           {ds_d1fX} } in
+                   ds_d19G =
+                       PrelBase.F#{-59,w-}{i} {ds_d19P} } in
                  let {
-                   ds_d1fS  :: 
-                       STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+                   ds_d19K  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
                    {-# L #-}
-                   ds_d1fS =
-                       STBase.S#{-5D,p-}{i}
-                           {_@_ GHC.RealWorld{-3s,p-} ds_d1fZ}
+                   ds_d19K =
+                       STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d19R}
                  } in 
-                   PrelTup.(,){-62,p-}{i}
-                       {_@_ PrelBase.Float{-3c,p-}
-                        _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
-                        ds_d1fO
-                        ds_d1fS};};};};};};}
+                   PrelTup.(,){-62,w-}{i}
+                       {_@_ PrelBase.Float{-3c,W-}
+                        _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
+                        ds_d19G
+                        ds_d19K};};};};};};}
        } in 
-         STBase.ST{-5G,p-}{i}
-             _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Float{-3c,p-} ds_d1et
-c{-r5,x-}  :: 
-    PrelBase.Int{-3g,p-}
-    -> PrelBase.Char{-38,p-}
-    -> PrelBase.Float{-3c,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
+         STBase.ST{-5G,w-}{i}
+             _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Float{-3c,W-} ds_d17v
+c{-r5,x-}  ::  PrelBase.Int{-3g,W-}
+              -> PrelBase.Char{-38,W-}
+              -> PrelBase.Float{-3c,W-}
+              -> PrelBase.Double{-3a,W-}
+              -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 {-# L #-}
 c{-r5,x-} =
-    c_a15h
-b_a15F  :: 
-    PrelBase.Int{-3g,p-} -> STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+    c_aZc
+b_aZE  ::  PrelBase.Int{-3g,W-}
+          -> STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 {-# L #-}
-b_a15F =
-    \ x_r4j  :: 
-         PrelBase.Int{-3g,p-}
+b_aZE =
+    \ x_r4j  ::  PrelBase.Int{-3g,W-}
       {-# L #-}
       x_r4j ->
        let {
-         ds_d1gj  :: 
-             STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-             -> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+         ds_d1ab  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
+                      -> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
          {-# L #-}
-         ds_d1gj =
-             \ ds_d1gp  :: 
-                   STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+         ds_d1ab =
+             \ ds_d1ah  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
                {-# L #-}
-               ds_d1gp ->
-                 case ds_d1gp of { STBase.S#{-5D,p-}{i} ds_d1gy  ->
-                 case x_r4j of { PrelBase.I#{-5b,p-}{i} ds_d1gM  ->
+               ds_d1ah ->
+                 case ds_d1ah of { STBase.S#{-5D,w-}{i} ds_d1aq  ->
+                 case x_r4j of { PrelBase.I#{-5b,w-}{i} ds_d1aE  ->
                  case
-                     _ccall_ b [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-}) GHC.Int#{-3f,p-}]!
-                         ds_d1gy ds_d1gM
+                     _ccall_ b [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-}) GHC.Int#{-3f,W-}]!
+                         ds_d1aq ds_d1aE
                  of {
-                 STBase.StateAndInt#{-5v,p-}{i} ds_d1hf ds_d1hd  ->
+                 STBase.StateAndInt#{-5v,w-}{i} ds_d1b7 ds_d1b5  ->
                  let {
-                   ds_d1h4  :: 
-                       PrelBase.Int{-3g,p-}
+                   ds_d1aW  ::  PrelBase.Int{-3g,W-}
                    {-# L #-}
-                   ds_d1h4 =
-                       PrelBase.I#{-5b,p-}{i}
-                           {ds_d1hd} } in
+                   ds_d1aW =
+                       PrelBase.I#{-5b,w-}{i} {ds_d1b5} } in
                  let {
-                   ds_d1h8  :: 
-                       STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+                   ds_d1b0  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
                    {-# L #-}
-                   ds_d1h8 =
-                       STBase.S#{-5D,p-}{i}
-                           {_@_ GHC.RealWorld{-3s,p-} ds_d1hf}
+                   ds_d1b0 =
+                       STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d1b7}
                  } in 
-                   PrelTup.(,){-62,p-}{i}
-                       {_@_ PrelBase.Int{-3g,p-}
-                        _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
-                        ds_d1h4
-                        ds_d1h8};};};}
+                   PrelTup.(,){-62,w-}{i}
+                       {_@_ PrelBase.Int{-3g,W-}
+                        _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
+                        ds_d1aW
+                        ds_d1b0};};};}
        } in 
-         STBase.ST{-5G,p-}{i}
-             _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d1gj
-b{-r3,x-}  :: 
-    PrelBase.Int{-3g,p-} -> STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+         STBase.ST{-5G,w-}{i}
+             _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_d1ab
+b{-r3,x-}  ::  PrelBase.Int{-3g,W-}
+              -> STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 {-# L #-}
 b{-r3,x-} =
-    b_a15F
-a_a15R  :: 
-    STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+    b_aZE
+a_aZR  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 {-# L #-}
-a_a15R =
+a_aZR =
     let {
-      ds_d1hy  :: 
-         STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
-         -> (PrelBase.Int{-3g,p-}, STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
+      ds_d1bq  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
+                  -> (PrelBase.Int{-3g,W-}, STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
       {-# L #-}
-      ds_d1hy =
-         \ ds_d1hE  :: 
-               STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+      ds_d1bq =
+         \ ds_d1bw  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
            {-# L #-}
-           ds_d1hE ->
-             case ds_d1hE of { STBase.S#{-5D,p-}{i} ds_d1hP  ->
+           ds_d1bw ->
+             case ds_d1bw of { STBase.S#{-5D,w-}{i} ds_d1bH  ->
              case
-                 _ccall_ a [(STBase.StateAndInt#{-3D,p-} GHC.RealWorld{-3s,p-}) (GHC.State#{-3L,p-} GHC.RealWorld{-3s,p-})]!
-                     ds_d1hP
+                 _ccall_ a [(STBase.StateAndInt#{-3D,W-} GHC.RealWorld{-3s,W-}) (GHC.State#{-3L,W-} GHC.RealWorld{-3s,W-})]!
+                     ds_d1bH
              of {
-             STBase.StateAndInt#{-5v,p-}{i} ds_d1ii ds_d1ig  ->
+             STBase.StateAndInt#{-5v,w-}{i} ds_d1ca ds_d1c8  ->
              let {
-               ds_d1i7  :: 
-                   PrelBase.Int{-3g,p-}
+               ds_d1bZ  ::  PrelBase.Int{-3g,W-}
                {-# L #-}
-               ds_d1i7 =
-                   PrelBase.I#{-5b,p-}{i}
-                       {ds_d1ig} } in
+               ds_d1bZ =
+                   PrelBase.I#{-5b,w-}{i} {ds_d1c8} } in
              let {
-               ds_d1ib  :: 
-                   STBase.State{-3M,p-} GHC.RealWorld{-3s,p-}
+               ds_d1c3  ::  STBase.State{-3M,W-} GHC.RealWorld{-3s,W-}
                {-# L #-}
-               ds_d1ib =
-                   STBase.S#{-5D,p-}{i}
-                       {_@_ GHC.RealWorld{-3s,p-} ds_d1ii}
+               ds_d1c3 =
+                   STBase.S#{-5D,w-}{i} {_@_ GHC.RealWorld{-3s,W-} ds_d1ca}
              } in 
-               PrelTup.(,){-62,p-}{i}
-                   {_@_ PrelBase.Int{-3g,p-}
-                    _@_ (STBase.State{-3M,p-} GHC.RealWorld{-3s,p-})
-                    ds_d1i7
-                    ds_d1ib};};}
+               PrelTup.(,){-62,w-}{i}
+                   {_@_ PrelBase.Int{-3g,W-}
+                    _@_ (STBase.State{-3M,W-} GHC.RealWorld{-3s,W-})
+                    ds_d1bZ
+                    ds_d1c3};};}
     } in 
-      STBase.ST{-5G,p-}{i}
-         _@_ GHC.RealWorld{-3s,p-} _@_ PrelBase.Int{-3g,p-} ds_d1hy
-a{-r1,x-}  :: 
-    STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+      STBase.ST{-5G,w-}{i}
+         _@_ GHC.RealWorld{-3s,W-} _@_ PrelBase.Int{-3g,W-} ds_d1bq
+a{-r1,x-}  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
 {-# L #-}
 a{-r1,x-} =
-    a_a15R
-d_a15Y  :: 
-    STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
+    a_aZR
+d_aZY  ::  STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 {-# L #-}
-d_a15Y =
+d_aZY =
     let {
-      ds_d1iE  :: 
-         PrelBase.Int{-3g,p-}
-         -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
+      ds_d1cw  ::  PrelBase.Int{-3g,W-}
+                  -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
       {-# L #-}
-      ds_d1iE =
-         \ x_r4t  :: 
-               PrelBase.Int{-3g,p-}
+      ds_d1cw =
+         \ x_r4q  ::  PrelBase.Int{-3g,W-}
            {-# L #-}
-           x_r4t ->
+           x_r4q ->
              let {
-               ds_d1iT  :: 
-                   STBase.PrimIO{-3P,p-} PrelBase.Int{-3g,p-}
+               ds_d1cL  ::  STBase.PrimIO{-3P,W-} PrelBase.Int{-3g,W-}
                {-# L #-}
-               ds_d1iT =
-                   b{-r3,x-}
-                       x_r4t } in
+               ds_d1cL =
+                   b{-r3,x-} x_r4q } in
              let {
-               ds_d1iX  :: 
-                   PrelBase.Int{-3g,p-}
-                   -> STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
+               ds_d1cP  ::  PrelBase.Int{-3g,W-}
+                            -> STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
                {-# L #-}
-               ds_d1iX =
-                   \ y_r4v  :: 
-                         PrelBase.Int{-3g,p-}
+               ds_d1cP =
+                   \ y_r4s  ::  PrelBase.Int{-3g,W-}
                      {-# L #-}
-                     y_r4v ->
-                       let {
-                         ds_d1jf  :: 
-                             PrelBase.Char{-38,p-}
-                         {-# L #-}
-                         ds_d1jf =
-                             PrelBase.C#{-54,p-}{i}
-                                 {'f'}
-                       } in 
-                         c{-r5,x-}
-                             y_r4v ds_d1jf lit_a16r lit_a16p
+                     y_r4s ->
+                       (let {
+                          ds_d1df  ::  PrelBase.Char{-38,W-}
+                          {-# L #-}
+                          ds_d1df =
+                              PrelBase.C#{-54,w-}{i} {'f'}
+                        } in  c{-r5,x-} y_r4s ds_d1df)
+                           lit_a10r lit_a10t
              } in 
-               STBase.thenPrimIO{-r4w,p-}
-                   _@_ PrelBase.Int{-3g,p-} _@_ PrelBase.Float{-3c,p-} ds_d1iT ds_d1iX
+               STBase.thenPrimIO{-r4t,p-}
+                   _@_ PrelBase.Int{-3g,W-} _@_ PrelBase.Float{-3c,W-} ds_d1cL ds_d1cP
     } in 
-      STBase.thenPrimIO{-r4w,p-}
-         _@_ PrelBase.Int{-3g,p-}
-         _@_ PrelBase.Float{-3c,p-}
+      STBase.thenPrimIO{-r4t,p-}
+         _@_ PrelBase.Int{-3g,W-}
+         _@_ PrelBase.Float{-3c,W-}
          a{-r1,x-}
-         ds_d1iE
-d{-r7,x-}  :: 
-    STBase.PrimIO{-3P,p-} PrelBase.Float{-3c,p-}
+         ds_d1cw
+d{-r7,x-}  ::  STBase.PrimIO{-3P,W-} PrelBase.Float{-3c,W-}
 {-# L #-}
 d{-r7,x-} =
-    d_a15Y
+    d_aZY
+d.Fractional_a10l  ::  {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,W-}}
+{-# L #-}
+d.Fractional_a10l =
+    PrelNum.$d23{-rsg,p-}
+fromRational_a10q  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Float{-3c,W-}
+{-# L #-}
+fromRational_a10q =
+    PrelNum.fromRational{-8T,p-}
+       _@_ PrelBase.Float{-3c,W-} d.Fractional_a10l
+lit_a10r  ::  PrelBase.Float{-3c,W-}
+{-# L #-}
+lit_a10r =
+    fromRational_a10q _rational_  1 1
+d.Fractional_a10p  ::  {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,W-}}
+{-# L #-}
+d.Fractional_a10p =
+    PrelNum.$d14{-rs6,p-}
+fromRational_a10s  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Double{-3a,W-}
+{-# L #-}
+fromRational_a10s =
+    PrelNum.fromRational{-8T,p-}
+       _@_ PrelBase.Double{-3a,W-} d.Fractional_a10p
+lit_a10t  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a10t =
+    fromRational_a10s _rational_  2 1
 end Rec }
-
-NOTE: Simplifier still going after 4 iterations; bailing out.