#8745: GeneralizedNewtypeDeriving is still not Safe -------------------------------------------------+------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | 7.8.1-rc1 Operating System: Unknown/Multiple | Keywords: Safe Type of failure: None/Unknown | Architecture: Test Case: | Unknown/Multiple should_fail/TcCoercibleFailSafe | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"f932b79948f0f8e2ac354cdcaea21c5b7c59a27a/base"]: {{{ #!CommitTicketReference repository="base" revision="f932b79948f0f8e2ac354cdcaea21c5b7c59a27a" Create Data.Coerce (#8745) Data.Coerce is a Trustworthy module which safely exports both `Coercible` and `coerce` for use by users, as it can now be considered safe under role checking. See the ticket for details. Signed-off-by: Austin Seipp <austin@well-typed.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8745#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler