[GHC] #13994: STG lint failure on master

GHC ghc-devs at haskell.org
Tue Jul 18 21:39:58 UTC 2017


#13994: STG lint failure on master
-------------------------------------+-------------------------------------
           Reporter:  bgamari        |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  high           |         Milestone:  8.4.1
          Component:  Compiler       |           Version:  8.3
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 As of 4700baaf8f9bf3c44a53a595d840c7c14cfd6f98 building with this
 `build.mk` results in an STG lint failure,

 {{{
 BuildFlavour = devel2
 include mk/flavours/$(BuildFlavour).mk

 GhcLibHcOpts += -g3 -ddump-to-file -ddump-stg -dcore-lint -dstg-lint
 -dcmm-lint
 GhcRtsHcOpts += -g3
 GhcStage2HcOpts += -g3 -ddump-to-file -ddump-stg -dcore-lint -dstg-lint
 -dcmm-lint
 }}}

 The failures occurs while building `libraries/integer-gmp/dist-
 install/build/GHC/Integer/Type.o` and are of the form,
 {{{
           *** Stg Lint ErrMsgs: in Stg2Stg ***
   <no location info>: warning:
        [in body of lambda with binders m0_scBi :: State# s_a2Ej
                                                   -> State# s_a2Ej,
                                        s1_scBj :: State# s_a2Ej]
       s'_scBk is out of scope
   <no location info>: warning:
        [RHS of $j1_sdij :: (# BigNat, GmpLimb# #)]
       Let(rec) binder ‘$j1_sdij’ has unlifted type ‘(# BigNat,
                                                        GmpLimb# #)’
       RHS: (elided for brevity)

  <no location info>: warning:
        [RHS of $j4_sdQ1 :: (# BigNat, BigNat #)]
       Let(rec) binder ‘$j4_sdQ1’ has unlifted type ‘(# BigNat, BigNat #)’
       RHS: (elided)
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13994>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list