Opened 4 months ago

#13994 new bug

STG lint failure on master

Reported by: bgamari Owned by:
Priority: high Milestone: 8.4.1
Component: Compiler Version: 8.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


As of 4700baaf8f9bf3c44a53a595d840c7c14cfd6f98 building with this 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)

Change History (0)

Note: See TracTickets for help on using tickets.