Skip to content

Core Lint building statistics-0.15.1.1 with GHC 8.8

Seen in this head.hackage build:

*** Core Lint errors : in result of Simplifier ***
<no location info>: warning:
    [in body of letrec with binders ipv1_saFXs :: MVector
                                                    (PrimState (ST s_a3NiN)) Double]
    Occurrence is GlobalId, but binding is LocalId
      sIZEOF_DOUBLE [InlPrag=NOUSERINLINE[2]] :: Int
      [GblId,
       Str=m,
       Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
               WorkFree=True, Expandable=True,
               Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]

The problem appears to be:

case sIZEOF_DOUBLE of wild3_amtK [Occ=Once]
{ I# y_amtO [Occ=Once] ->
let {
  sIZEOF_DOUBLE_rfHl :: Int
  [LclId]
  sIZEOF_DOUBLE_rfHl = wild3_amtK } in
case newByteArray#
       @ (PrimState (ST s_a3NiN))
       (*# x_amtM y_amtO)
       (s1_a5r6
        `cast` ((State#
                   (Sym (D:R:PrimStateST[0] <s_a3NiN>_N)))_R
                :: State# s_a3NiN
                   ~R# State# (PrimState (ST s_a3NiN))))
of
{ (# ipv_amtT [Occ=Once], ipv1_amtU [Occ=Once] #) ->
let {
  ipv1_saFXs [Occ=Once]
    :: MVector (PrimState (ST s_a3NiN)) Double
  [LclId,
   Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False,
           ConLike=False, WorkFree=False, Expandable=False,
           Guidance=IF_ARGS [] 70 0}]
  ipv1_saFXs
    = $WMV_Double
        @ (PrimState (ST s_a3NiN))
        ($WMVector
           @ (PrimState (ST s_a3NiN))
           @ Double
           f_amtG
           (n_s3NzS
            `cast` (N:Id[0] <Int>_R :: Id Int ~R# Int))
           (MutableByteArray
              @ (PrimState (ST s_a3NiN)) ipv1_amtU)) } in
Edited by Ben Gamari
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information