diff options
author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2015-03-03 07:21:43 -0600 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2015-03-03 07:21:44 -0600 |
commit | 4e6bcc2c8134f9c1ba7d715b3206130f23c529fb (patch) | |
tree | e96cb726189a973f1e25982cc2c0d64bd3b4a8f1 /testsuite/tests/annotations | |
parent | 89458eba5721de1b6b3378415f26e110bab8cc0f (diff) | |
download | haskell-4e6bcc2c8134f9c1ba7d715b3206130f23c529fb.tar.gz |
Add various instances to newtypes in Data.Monoid
Summary:
Add Functor instances for Dual, Sum and Product
Add Foldable instances for Dual, Sum and Product
Add Traversable instances for Dual, Sum and Product
Add Foldable and Traversable instances for First and Last
Add Applicative, Monad instances to Dual, Sum, Product
Add MonadFix to Data.Monoid wrappers
Derive Data for Identity
Add Data instances to Data.Monoid wrappers
Add Data (Alt f a) instance
Reviewers: ekmett, dfeuer, hvr, austin
Reviewed By: dfeuer, austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D673
GHC Trac Issues: #10107
Diffstat (limited to 'testsuite/tests/annotations')
-rw-r--r-- | testsuite/tests/annotations/should_fail/annfail10.stderr | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail10.stderr b/testsuite/tests/annotations/should_fail/annfail10.stderr index baddbbd035..262677b7f8 100644 --- a/testsuite/tests/annotations/should_fail/annfail10.stderr +++ b/testsuite/tests/annotations/should_fail/annfail10.stderr @@ -6,21 +6,26 @@ annfail10.hs:9:1: instance (Data.Data.Data a, Data.Data.Data b) => Data.Data.Data (Either a b) -- Defined in ‘Data.Data’ - instance Data.Data.Data t => Data.Data.Data (Data.Proxy.Proxy t) + instance Data.Data.Data Data.Monoid.All -- Defined in ‘Data.Data’ + instance forall (k :: BOX) (f :: k -> *) (a :: k). + (Data.Data.Data (f a), Data.Typeable.Internal.Typeable f, + Data.Typeable.Internal.Typeable a) => + Data.Data.Data (Data.Monoid.Alt f a) -- Defined in ‘Data.Data’ - instance (GHC.Types.Coercible a b, Data.Data.Data a, - Data.Data.Data b) => - Data.Data.Data (Data.Type.Coercion.Coercion a b) - -- Defined in ‘Data.Data’ - ...plus 31 others + ...plus 39 others In the annotation: {-# ANN f 1 #-} annfail10.hs:9:11: No instance for (Num a0) arising from the literal ‘1’ The type variable ‘a0’ is ambiguous Note: there are several potential instances: - instance Num GHC.Int.Int16 -- Defined in ‘GHC.Int’ - instance Num GHC.Int.Int32 -- Defined in ‘GHC.Int’ - instance Num GHC.Int.Int64 -- Defined in ‘GHC.Int’ - ...plus 11 others + instance forall (k :: BOX) (f :: k -> *) (a :: k). + Num (f a) => + Num (Data.Monoid.Alt f a) + -- Defined in ‘Data.Monoid’ + instance Num a => Num (Data.Monoid.Product a) + -- Defined in ‘Data.Monoid’ + instance Num a => Num (Data.Monoid.Sum a) + -- Defined in ‘Data.Monoid’ + ...plus 14 others In the annotation: {-# ANN f 1 #-} |