
#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