#5498: Generalized newtype deriving allows creating of instances I can't create
by
hand
---------------------------------+------------------------------------------
Reporter: dterei | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by dterei):
How much work would it be to implement the fix from the paper? I'm
guessing its in a complex part of the compiler I have no knowledge of so
am probably not really the right person for the job.
What about what Simon M proposes? I'm not sure if this would be enough
though as you can also combine newtype deriving with GADTs or TypeFamilies
to cause segfaults which is something SafeHaskell tries to prevent.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5498#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
