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. Richard On Nov 4, 2013, at 10:59 AM, Roman Cheplyaka <r...@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? > > Roman > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://www.haskell.org/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs