[GHC] #8745: GeneralizedNewtypeDeriving is still not Safe
GHC
ghc-devs at haskell.org
Wed Feb 12 02:03:05 UTC 2014
#8745: GeneralizedNewtypeDeriving is still not Safe
-------------------------------------+------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.8.1-rc1
Resolution: | Keywords: Safe
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Comment (by goldfire):
I had forgotten about this detail. With this in place (is it tested by
anything in the testsuite?), I'm much more in favor of labeling GND and
`coerce` as Safe. It's possible that the (rather draconian, admittedly)
check that Joachim (nomeata) describes could be relaxed in the future once
library authors are more familiar with role annotations.
I no longer see a downside to making GND and `coerce` Safe.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8745#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list