diff options
Diffstat (limited to 'docs/users_guide/safe_haskell.rst')
| -rw-r--r-- | docs/users_guide/safe_haskell.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/users_guide/safe_haskell.rst b/docs/users_guide/safe_haskell.rst index 5193f06db8..cdd5228dd9 100644 --- a/docs/users_guide/safe_haskell.rst +++ b/docs/users_guide/safe_haskell.rst @@ -273,11 +273,6 @@ Furthermore, we restrict the following features: this reason, the ``Data.Coerce`` module is also considered unsafe. We are hoping to find a better solution here in the future. -- ``Data.Typeable`` — Hand crafted instances of the Typeable type class are not allowed - in Safe Haskell as this can easily be abused to unsafely coerce - between types. Derived instances (through the :ghc-flag:`-XDeriveDataTypeable` - extension) are still allowed. - - ``GHC.Generics`` — Hand crafted instances of the ``Generic`` type class are not allowed in Safe Haskell. Such instances aren't strictly unsafe, but there is an important invariant that a ``Generic`` instance should adhere to |