[GHC] #13027: Core lint errors compiling containers HEAD with GHC HEAD

[GHC]

#13027: Core lint errors compiling containers HEAD with GHC HEAD
-------------------------------------+-------------------------------------
        Reporter:  erikd             |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  8.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Building GHC      |            Test Case:
  failed                             |  simplCore/should_compile/T13027
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dfeuer):

 Replying to [comment:11 simonpj]:
 >
 > We might additionally want to check that the arguments to
 `reallyUnsafePtrEquality#` are indeed guaranteed evaluated...  Lint could
 do that I suppose but it might well be a USER error not a GHC error.  We
 don't have a good way to check for that; hence really unsafe.

 Why would we want to check that? One nice thing about the equality test us
 that it can be applied to things not known to be evaluated, and sometimes
 even catch equality between thunks.

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