[GHC] #5345: stg lint error

[GHC]

#5345: stg lint error
-------------------------------+--------------------------------------------
    Reporter:  guest           |       Owner:          
        Type:  bug             |      Status:  new     
    Priority:  normal          |   Component:  Compiler
     Version:  7.0.3           |    Keywords:          
    Testcase:                  |   Blockedby:          
          Os:  Linux           |    Blocking:          
Architecture:  x86_64 (amd64)  |     Failure:  Other   
-------------------------------+--------------------------------------------

Comment(by simonpj@…):

 commit 773884a08e0906f1a2c0d8c9c36b1782ffb9f5ea
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Wed Jul 27 08:45:53 2011 +0100

     Improve StgLint -- a bit

     This addresses Trac #5345, but only partially.  Fundamentally STG Lint
     is impossible, because unsafeCoerce# can randomise all the types.

     This patch does a bit of fiddle faddling in StgLint which makes it
     a bit better, but it's a losing battle. Trac #5345 works though, FWIW.

  compiler/stgSyn/StgLint.lhs   |  191
 +++++++++++++++++++++++++----------------
  compiler/typecheck/TcType.lhs |    2 +-
  compiler/types/Type.lhs       |   53 ++++++++---
  3 files changed, 157 insertions(+), 89 deletions(-)
 }}}

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