diff options
| author | David Terei <davidterei@gmail.com> | 2011-07-21 17:29:18 -0700 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-07-24 16:11:21 +0100 |
| commit | 108de2a452020f98ee28f7e39c815b0364a8f579 (patch) | |
| tree | 6b2c4eddec9b508d96e35ba0dd17ae43dc52c92b | |
| parent | ec1e12b32d5d600cf53602b5fd66e4a3c61ff853 (diff) | |
| download | haskell-108de2a452020f98ee28f7e39c815b0364a8f579.tar.gz | |
Update safe haskell doc about Data.Typeable
| -rw-r--r-- | docs/users_guide/safe_haskell.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/safe_haskell.xml b/docs/users_guide/safe_haskell.xml index 07da84fe16..abca32a71f 100644 --- a/docs/users_guide/safe_haskell.xml +++ b/docs/users_guide/safe_haskell.xml @@ -293,6 +293,12 @@ compilation error will occur. A simple way to think of this is a <emphasis>same origin policy</emphasis> for overlapping instances defined in Safe compiled modules.</listitem> + <listitem><emphasis>Data.Typeable</emphasis> — We restrict Typeable + instances to only derived ones (offered by GHC through the + <link linkend="deriving-typeable"><option>-XDeriveDataTypeable</option> + </link> extension). 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.</listitem> </itemizedlist> </sect2> |