#9122: Make Lint check for bad uses of `unsafeCoerce` -------------------------------------+------------------------------------- Reporter: simonpj | Owner: qnikst Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D637 -------------------------------------+------------------------------------- Comment (by goldfire): Should the type-checker reject `unsafeCoerce# (3 :: Int) :: Int#`? If not, the proposed change would mean that `-dcore-lint` would show an error even when GHC is not at fault. Or, another (opposite) way to ask the question: Should a program containing that chunk, but compiled ''without'' `-dcore- lint`, be accepted? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9122#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler