[GHC] #8745: GeneralizedNewtypeDeriving is still not Safe

GHC ghc-devs at haskell.org
Thu Feb 27 20:07:31 UTC 2014


#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 nomeata):

 I’m still on holidays with bad connection, otherwise I’d do it.
 `Data.Coerce` sounds good, which should be the haddock home module.
 `GHC.Exts` should then only re-export that module.

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


More information about the ghc-tickets mailing list