GND and Safe Haskell
eir at cis.upenn.edu
Mon Nov 4 16:04:51 UTC 2013
Roles makes GND completely type-safe. You cannot make unsafeCoerce using GND.
However, you can look around abstractions with GND, both before and after roles -- roles weren't really designed to stop you from doing this. See #5498. Whether this is grounds to make GND unSafe is up to the designers of Safe Haskell.
On Nov 4, 2013, at 10:59 AM, Roman Cheplyaka <roma at ro-che.info> wrote:
> GHC HEAD still doesn't seem to recognize GND as Safe. I guess we can
> lift this restriction now that we have roles?
> ghc-devs mailing list
> ghc-devs at haskell.org
More information about the ghc-devs