#9756: Warn about unnecessary unsafeCoerce -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.9 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): It's be a bit awkward to implement: it amounts to emitting a constraint, and then reporting a warning if the constraint ''can'' be solved, but nothing if it ''can't''. But I'm sure it's possible. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9756#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler