#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