[GHC] #14807: GHC does not pass -dstg-lint

[GHC]

#14807: GHC does not pass -dstg-lint
-------------------------------------+-------------------------------------
        Reporter:  sergv             |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.4.1-alpha3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Building GHC      |  Unknown/Multiple
  failed                             |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Description changed by sergv:

Old description:

> When building ghc-8.4 branch with -dstg-lint enabled I got a GHC panic
> error (please see attachment as it's really big). The error is
> reproducible on Windows and Debian Linux 64 bit operating systems.
>
> As a side note, it seems that it would be good to enable `-dstg-lint` and
> `-dcmm-lint` in `devel2` flavour, and possibly some other flavours, or at
> least on CI, so that they will be tested more frequently.

New description:

 When building ghc-8.4 branch with -dstg-lint enabled I got a GHC panic
 error (please see attachment for full log as it's really big). The error
 is reproducible on Windows and Debian Linux 64 bit operating systems.

 Short error:
 {{{
 "inplace/bin/ghc-stage1" -hisuf hi -osuf  o -hcsuf hc -static  -O -H64m
 -Wall      -this-unit-id ghc-prim-0.5.2.0 -hide-all-packages -i
 -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -Ilibraries
 /ghc-prim/dist-install/build -ilibraries/ghc-prim/dist-
 install/build/./autogen -Ilibraries/ghc-prim/dist-install/build/./autogen
 -Ilibraries/ghc-prim/.    -optP-include -optPlibraries/ghc-prim/dist-
 install/build/./autogen/cabal_macros.h -package-id rts -this-unit-id ghc-
 prim -XHaskell2010 -O -dcore-lint -dstg-lint -dcmm-lint  -no-user-package-
 db -rtsopts  -Wno-trustworthy-safe -Wno-deprecated-flags
 -Wnoncanonical-monad-instances  -odir libraries/ghc-prim/dist-
 install/build -hidir libraries/ghc-prim/dist-install/build -stubdir
 libraries/ghc-prim/dist-install/build   -dynamic-too -c libraries/ghc-
 prim/./GHC/Types.hs -o libraries/ghc-prim/dist-install/build/GHC/Types.o
 -dyno libraries/ghc-prim/dist-install/build/GHC/Types.dyn_o
 ghc-stage1: panic! (the 'impossible' happened)
   (GHC version 8.4.0.20180204 for x86_64-unknown-linux):
           *** Stg Lint ErrMsgs: in Unarise ***
   <no location info>: warning:
        [in body of lambda with binders v_s9Xn :: (a_12 :: k0_10)
                                                  ~~ (b_13 :: k1_11)]
       In some algebraic case alternative, number of arguments doesn't
 match constructor:
       Eq# (arity 1)
       []
   <no location info>: warning:
        [in body of lambda with binders v_s9Xp :: Coercible a_11 b_12]
       In some algebraic case alternative, number of arguments doesn't
 match constructor:
       MkCoercible (arity 1)
       []
   *** Offending Program ***

 ... lots of lines skipped ...

   *** End of Offense ***
   Call stack:
       CallStack (from HasCallStack):
         callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in
 ghc:Outputable
         pprPanic, called at compiler/stgSyn/StgLint.hs:68:19 in
 ghc:StgLint

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

 libraries/ghc-prim/ghc.mk:4: recipe for target 'libraries/ghc-prim/dist-
 install/build/GHC/Types.o' failed
 }}}

 As a side note, it seems that it would be good to enable `-dstg-lint` and
 `-dcmm-lint` in `devel2` flavour, and possibly some other flavours, or at
 least on CI, so that they will be tested more frequently.

--

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