diff options
| author | Chris Martin <ch.martin@gmail.com> | 2017-06-26 14:55:15 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-06-27 10:24:42 -0400 |
| commit | 914962ca23e407efdd3429dc89adcca7bee15f28 (patch) | |
| tree | f76e8af49be9fd4241e688a5d1e65f6cbf9cf53b /docs/users_guide/safe_haskell.rst | |
| parent | b8f87363cfc6ddeacc67d99a79e316980ffd1f5c (diff) | |
| download | haskell-914962ca23e407efdd3429dc89adcca7bee15f28.tar.gz | |
Update docs to reflect changes to DeriveDataTypeable
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 |