diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-11-20 09:53:46 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-11-20 10:44:02 +0100 |
| commit | 8cbd25a49051171da7c73db57ebd87bb0296c2f7 (patch) | |
| tree | 53268a5ab10b4bfc1511d75b5229f2d46fb96266 /libraries/base/Data/Functor/Identity.hs | |
| parent | c6e12e69fa348328d58540a1ea8abed35d0dda32 (diff) | |
| download | haskell-8cbd25a49051171da7c73db57ebd87bb0296c2f7.tar.gz | |
Make Data.Functor.Identity trustworthy again
Alas `{-# LANGUAGE Safe #-}` can't be used since `Data.Coerce` isn't "safe".
However, we use `coerce` just as an optimisation
(see also 4ba884bdd3a9521ea92fcda8f601a7d0f3537bc1 which broke the
safe-inferred status of `Data.Functor.Identity`), so this module at least
deserves `{-# LANGUAGE Trustworthy #-}`.
NOTE: `Data.Functor.Identity` was added to `base` in the context of #9664
Reviewed By: luite
Differential Revision: https://phabricator.haskell.org/D507
Diffstat (limited to 'libraries/base/Data/Functor/Identity.hs')
| -rw-r--r-- | libraries/base/Data/Functor/Identity.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libraries/base/Data/Functor/Identity.hs b/libraries/base/Data/Functor/Identity.hs index de7f19a210..909de8579d 100644 --- a/libraries/base/Data/Functor/Identity.hs +++ b/libraries/base/Data/Functor/Identity.hs @@ -1,5 +1,6 @@ {-# LANGUAGE AutoDeriveTypeable #-} {-# LANGUAGE DeriveTraversable #-} +{-# LANGUAGE Trustworthy #-} ----------------------------------------------------------------------------- -- | |