diff options
| author | Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> | 2013-02-13 10:03:43 +0000 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> | 2013-02-13 10:04:24 +0000 |
| commit | ec8d757b758aaaa24fd1e55f32826b05d107bd33 (patch) | |
| tree | eb6d2f48de9a6ba8f6415b5c930e25e84c3bad9c | |
| parent | cc5fba7327c6c0754284e5843952db10425036aa (diff) | |
| download | haskell-ec8d757b758aaaa24fd1e55f32826b05d107bd33.tar.gz | |
Proxy comes from Data.Typeable, Typeable1/2 no longer exist
| -rw-r--r-- | testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs b/testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs index c7fad91395..d444db7058 100644 --- a/testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs +++ b/testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs @@ -21,11 +21,6 @@ module T1735_Help.Basics ( import Data.Typeable
import T1735_Help.Context
-#ifdef __HADDOCK__
-data Proxy
-#else
-data Proxy (a :: * -> *)
-#endif
------------------------------------------------------------------------------
-- The ingenious Data class
@@ -61,14 +56,14 @@ class (Typeable a, Sat (ctx a)) => Data ctx a dataTypeOf _ _ = undefined
-- | Mediate types and unary type constructors
- dataCast1 :: Typeable1 t
+ dataCast1 :: Typeable t
=> Proxy ctx
-> (forall b. Data ctx b => w (t b))
-> Maybe (w a)
dataCast1 _ _ = Nothing
-- | Mediate types and binary type constructors
- dataCast2 :: Typeable2 t
+ dataCast2 :: Typeable t
=> Proxy ctx
-> (forall b c. (Data ctx b, Data ctx c) => w (t b c))
-> Maybe (w a)
|