[GHC] #14536: Ghc panics while building stage2 with -dstg-lint

[GHC]

#14536: Ghc panics while building stage2 with -dstg-lint
-------------------------------------+-------------------------------------
        Reporter:  duog              |                Owner:  duog
            Type:  bug               |               Status:  patch
        Priority:  high              |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.3
      Resolution:                    |             Keywords:  stg-lint
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4242
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by duog):

 Replying to [comment:7 simonpj]:
 > Thanks!  Can you enumerate what the "unarisation issues" are, precisely?

 This is mostly from memory, so may not be as precise as I would like,
 however:

 * StgLint does not currently account for the fact that the types and
 number of arguments to `StgRhsCon`, `StgConApp` and `StgApp` change after
 unarisation.

 * StgLint does try to account for the unarisation changes in case
 scrutinees and Alts, but it's not quite right.

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