diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-08-05 12:02:41 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-08-05 12:02:41 -0400 |
| commit | a81b5b0067b6530f5883aeb0154a407a54d14c62 (patch) | |
| tree | aa4351446c3aee70bd34221575bd3b98da54b71c /testsuite/tests/deriving | |
| parent | 394c391a41539914dc445368854638f396c824f9 (diff) | |
| download | haskell-a81b5b0067b6530f5883aeb0154a407a54d14c62.tar.gz | |
Remove the deprecated Typeable{1..7} type synonyms
Summary:
`Typeable{1..7}` (type synonyms for the poly-kinded `Typeable`) have
been deprecated since GHC 7.8. They're now causing problems for users who try
to still work with them in legacy code, since they can no longer be used in
instances. To avoid this sort of confusion, let's just remove `Typeable{1..7}`
altogether. Resolves #14047.
Reviewers: bgamari, austin, hvr
Reviewed By: bgamari
Subscribers: rwbarton, thomie
GHC Trac Issues: #14047
Differential Revision: https://phabricator.haskell.org/D3817
Diffstat (limited to 'testsuite/tests/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_run/T3087.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/deriving/should_run/T3087.hs b/testsuite/tests/deriving/should_run/T3087.hs index 9d3be0744d..1e20b9ece9 100644 --- a/testsuite/tests/deriving/should_run/T3087.hs +++ b/testsuite/tests/deriving/should_run/T3087.hs @@ -14,7 +14,7 @@ test1' = undefined `ext1Q` (\ (MyJust _) -> ()) $ MyJust () newtype Q r a = Q { unQ :: a -> r } -ext2Q :: (Data d, Typeable2 t) +ext2Q :: (Data d, Typeable t) => (d -> q) -> (forall d1 d2. (Data d1, Data d2) => t d1 d2 -> q) -> d -> q ext2Q def ext arg = |