[GHC] #8745: GeneralizedNewtypeDeriving is still not Safe

GHC ghc-devs at haskell.org
Thu Feb 27 15:43:33 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 thoughtpolice):

 For the record, unless there are any other suggestions, I'll likely take
 Joachim's suggestion of putting this in `Data.Coerce`. Any other
 suggestions?

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


More information about the ghc-tickets mailing list