[GHC] #8745: GeneralizedNewtypeDeriving is still not Safe

[GHC]

#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:"a8a01e742434df11b830ab99af12d9045dfcbc4b/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="a8a01e742434df11b830ab99af12d9045dfcbc4b"
 Fix #8745 - GND is now -XSafe compatible.

 As discussed in the ticket, after the landing of #8773, GND is now
 -XSafe compatible.

 This fixes the test fallout as well. In particular SafeLang07 was
 removed following in the steps of SafeLang06, since it no longer failed
 from GND, but failed due to roles and was thus invalid.

 The other tests were tweaked to use TemplateHaskell instead of GND in
 order to trigger safety warnings.

 Signed-off-by: Austin Seipp <austin at well-typed.com>
 }}}

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