[1 of 1] Compiling VectorFusionExample ( testing.hs, testing.o )
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 256, types: 335, coercions: 94}
VectorFusionExample.makeCountsPurely7 =
  case GHC.Show.$wshowSignedInt 0 256 ([] @ Char)
  of _ [Occ=Dead] { (# ww5_a6MB, ww6_a6MC #) ->
  : @ Char ww5_a6MB ww6_a6MC
  }
VectorFusionExample.makeCountsPurely6 =
  unpackAppendCString#
    "Primitive.basicUnsafeNew: length to large: "#
    VectorFusionExample.makeCountsPurely7
VectorFusionExample.makeCountsPurely5 =
  \ (@ s_a4RQ) (s1_a4RR [OS=OneShot] :: GHC.Prim.State# s_a4RQ) ->
    case GHC.Classes.divInt# 9223372036854775807 8
    of ww4_a6M4 { __DEFAULT ->
    case tagToEnum# @ Bool (># 256 ww4_a6M4)
    of _ [Occ=Dead] {
      False ->
        case newByteArray#
               @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ))
               2048
               (s1_a4RR `cast` ...)
        of _ [Occ=Dead] { (# ipv_a6Dn, ipv1_a6Do #) ->
        case {__pkg_ccall primitive-0.5.4.0 hsprimitive_memset_Word forall s.
                                                       MutableByteArray# s
                                                       -> Int#
                                                       -> Int#
                                                       -> Int#
                                                       -> State# RealWorld
                                                       -> (# State# RealWorld #)}_a6rI
               @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ))
               ipv1_a6Do
               0
               256
               123
               (ipv_a6Dn `cast` ...)
        of _ [Occ=Dead] { (# ds5_a6rL #) ->
        case unsafeFreezeByteArray#
               @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ))
               ipv1_a6Do
               (ds5_a6rL `cast` ...)
        of _ [Occ=Dead] { (# ipv2_a6BL, ipv3_a6BM #) ->
        (# ipv2_a6BL `cast` ...,
           (Data.Vector.Primitive.Vector @ Int 0 256 ipv3_a6BM) `cast` ... #)
        }
        }
        };
      True ->
        case error
               @ (GHC.ST.ST
                    s_a4RQ
                    (Data.Vector.Primitive.Mutable.MVector
                       (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ)) Int))
               VectorFusionExample.makeCountsPurely6
        of wild_00 {
        }
    }
    }
VectorFusionExample.makeCountsPurely4 =
  GHC.ST.runSTRep
    @ (V.Vector CountOfValue) VectorFusionExample.makeCountsPurely5
lvl1_rc79 = unpackCString# "new"#
lvl2_rc7a = I# 584
lvl3_rc7b =
  unpackCString# "./Data/Vector/Generic/Mutable.hs"#
VectorFusionExample.makeCountsPurely3 =
  \ (@ s_a4Or ) (x1_a4OB :: GHC.Prim.Int#) ->
    Data.Vector.Internal.Check.checkError
      @ (GHC.ST.ST
           s_a4Or
           (Data.Vector.Generic.Base.Mutable
              V.Vector
              (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4Or))
              CountOfValue))
      lvl3_rc7b
      lvl2_rc7a
      Data.Vector.Internal.Check.Bounds
      lvl1_rc79
      (Data.Vector.Internal.Check.checkLength_msg# x1_a4OB)
VectorFusionExample.makeCountsPurely2 =
  \ (@ s_X4Tw ) (ww_sa3v :: GHC.Prim.Int#) ->
    error
      @ (GHC.ST.ST
           s_X4Tw
           (Data.Vector.Primitive.Mutable.MVector
              (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4Tw)) Int))
      (unpackAppendCString#
         "Primitive.basicUnsafeNew: length to large: "#
         (case GHC.Show.$wshowSignedInt 0 ww_sa3v ([] @ Char)
          of _ [Occ=Dead] { (# ww5_a6MB, ww6_a6MC #) ->
          : @ Char ww5_a6MB ww6_a6MC
          }))
VectorFusionExample.makeCountsPurely1 =
  \ (@ s_X4Tw ) (ww_sa3v :: GHC.Prim.Int#) ->
    error
      @ (GHC.ST.ST
           s_X4Tw
           (Data.Vector.Primitive.Mutable.MVector
              (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4Tw)) Int))
      (unpackAppendCString#
         "Primitive.basicUnsafeNew: negative length: "#
         (case GHC.Show.$wshowSignedInt 0 ww_sa3v ([] @ Char)
          of _ [Occ=Dead] { (# ww5_a6MB, ww6_a6MC #) ->
          : @ Char ww5_a6MB ww6_a6MC
          }))
VectorFusionExample.$wmakeCountsPurely =
  \ (ww_sa41 :: GHC.Prim.Int#) (ww1_sa42 :: GHC.Prim.Int#) (ww2_sa43 :: GHC.Prim.ByteArray#) ->
    case VectorFusionExample.makeCountsPurely4 `cast` ...
    of nt_s7EL
    { Data.Vector.Primitive.Vector ipv_s7EN ipv1_s7EO ipv2_s7EP ->
    GHC.ST.runSTRep
      @ (V.Vector CountOfValue)
      (\ (@ s_X4TS) (s1_X4TU [OS=OneShot] :: GHC.Prim.State# s_X4TS) ->
         case Data.Vector.Generic.length
                @ V.Vector
                @ CountOfValue
                Data.Vector.Unboxed.Base.$fVectorVectorInt
                (nt_s7EL `cast` ...)
         of _ [Occ=Dead] { I# x1_a4OB ->
         case tagToEnum# @ Bool (>=# x1_a4OB 0)
         of _ [Occ=Dead] {
           False ->
             case VectorFusionExample.makeCountsPurely3 @ s_X4TS x1_a4OB
             of wild_00 {
             };
           True ->
             case tagToEnum# @ Bool (<# x1_a4OB 0)
             of _ [Occ=Dead] {
               False ->
                 case GHC.Classes.divInt# 9223372036854775807 8
                 of ww4_a6M4 { __DEFAULT ->
                 case tagToEnum# @ Bool (># x1_a4OB ww4_a6M4)
                 of _ [Occ=Dead] {
                   False ->
                     case newByteArray#
                            @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
                            (*# x1_a4OB 8)
                            (s1_X4TU `cast` ...)
                     of _ [Occ=Dead] { (# ipv3_a6Dn, ipv4_a6Do #) ->
                     case {__pkg_ccall primitive-0.5.4.0 hsprimitive_memset_Word8 forall s.
                                                        MutableByteArray# s
                                                        -> Int#
                                                        -> Int#
                                                        -> Word#
                                                        -> State# RealWorld
                                                        -> (# State# RealWorld #)}_a6ts
                            @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
                            ipv4_a6Do
                            0
                            (*# x1_a4OB 8)
                            (__word 0)
                            (ipv3_a6Dn `cast` ...)
                     of _ [Occ=Dead] { (# ds5_a6tv #) ->
                     case copyByteArray#
                            @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
                            ipv2_s7EP
                            (*# ipv_s7EN 8)
                            ipv4_a6Do
                            0
                            (*# x1_a4OB 8)
                            (ds5_a6tv `cast` ...)
                     of s'#_a6y2 [OS=OneShot] { __DEFAULT ->
                     letrec {
                       $s$wa_sbku [Occ=LoopBreaker]
                         :: GHC.Prim.Int#
                            -> GHC.Prim.State# s_X4TS -> (# GHC.Prim.State# s_X4TS, () #)
                       [LclId, Arity=2, Str=DmdType <L,U><L,U>]
                       $s$wa_sbku =
                         \ (sc_sbkr :: GHC.Prim.Int#)
                           (sc1_sbkt [OS=OneShot] :: GHC.Prim.State# s_X4TS) ->
                           case tagToEnum# @ Bool (>=# sc_sbkr ww1_sa42)
                           of _ [Occ=Dead] {
                             False ->
                               case indexWord8Array#
                                      ww2_sa43 (+# ww_sa41 sc_sbkr)
                               of wild6_a6Af { __DEFAULT ->
                               let {
                                 a_s824 :: GHC.Prim.Int#
                                 [LclId, Str=DmdType]
                                 a_s824 = word2Int# wild6_a6Af } in
                               case readIntArray#
                                      @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
                                      ipv4_a6Do
                                      a_s824
                                      (sc1_sbkt `cast` ...)
                               of _ [Occ=Dead] { (# ipv5_a6S6, ipv6_a6S7 #) ->
                               case writeIntArray#
                                      @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
                                      ipv4_a6Do
                                      a_s824
                                      (+# ipv6_a6S7 789)
                                      ipv5_a6S6
                               of s'#1_a6st [OS=OneShot] { __DEFAULT ->
                               $s$wa_sbku (+# sc_sbkr 1) (s'#1_a6st `cast` ...)
                               }
                               }
                               };
                             True -> (# sc1_sbkt, GHC.Tuple.() #)
                           }; } in
                     case $s$wa_sbku 0 (s'#_a6y2 `cast` ...)
                     of _ [Occ=Dead] { (# ipv6_a4RE, ipv7_a4RF #) ->
                     case unsafeFreezeByteArray#
                            @ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
                            ipv4_a6Do
                            (ipv6_a4RE `cast` ...)
                     of _ [Occ=Dead] { (# ipv5_a6BL, ipv9_a6BM #) ->
                     (# ipv5_a6BL `cast` ...,
                        (Data.Vector.Primitive.Vector @ Int 0 x1_a4OB ipv9_a6BM)
                        `cast` ... #)
                     }
                     }
                     }
                     }
                     };
                   True ->
                     case VectorFusionExample.makeCountsPurely2 @ s_X4TS x1_a4OB
                     of wild_00 {
                     }
                 }
                 };
               True ->
                 case VectorFusionExample.makeCountsPurely1 @ s_X4TS x1_a4OB
                 of wild_00 {
                 }
             }
         }
         })
    }
makeCountsPurely =
  \ (w_sa3Y :: V.Vector Value) ->
    case w_sa3Y `cast` ...
    of _ [Occ=Dead]
    { Data.Vector.Primitive.Vector ww1_sa41 ww2_sa42 ww3_sa43 ->
    VectorFusionExample.$wmakeCountsPurely ww1_sa41 ww2_sa42 ww3_sa43
    }