diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-07 14:54:56 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-07 15:10:25 +0100 |
commit | c897613bbf6336d00c9b5433268cb5813308bee9 (patch) | |
tree | 25af8bc9a0cdc2858f7aa6b2a75c7b02651ebc9f /testsuite/tests/annotations | |
parent | 547c597112954353cef7157cb0a389bc4f6303eb (diff) | |
download | haskell-c897613bbf6336d00c9b5433268cb5813308bee9.tar.gz |
Error msg wibbles from reduced module prefixes
Diffstat (limited to 'testsuite/tests/annotations')
3 files changed, 30 insertions, 36 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail05.stderr b/testsuite/tests/annotations/should_fail/annfail05.stderr index 712cff2f2a..e9b281ecb8 100644 --- a/testsuite/tests/annotations/should_fail/annfail05.stderr +++ b/testsuite/tests/annotations/should_fail/annfail05.stderr @@ -1,5 +1,4 @@ - -annfail05.hs:11:1: - No instance for (Data.Data.Data NoInstances) - arising from an annotation - In the annotation: {-# ANN f NoInstances #-} +
+annfail05.hs:11:1:
+ No instance for (Data NoInstances) arising from an annotation
+ In the annotation: {-# ANN f NoInstances #-}
diff --git a/testsuite/tests/annotations/should_fail/annfail08.stderr b/testsuite/tests/annotations/should_fail/annfail08.stderr index 1c6f9f645c..2a9980dcb6 100644 --- a/testsuite/tests/annotations/should_fail/annfail08.stderr +++ b/testsuite/tests/annotations/should_fail/annfail08.stderr @@ -1,6 +1,6 @@ annfail08.hs:9:1:
- No instance for (Data.Data.Data (a0 -> a0))
+ No instance for (Data (a0 -> a0))
(maybe you haven't applied a function to enough arguments?)
arising from an annotation
In the annotation: {-# ANN f (id + 1) #-}
diff --git a/testsuite/tests/annotations/should_fail/annfail10.stderr b/testsuite/tests/annotations/should_fail/annfail10.stderr index 5b42bd3c9b..5ac8ab50b3 100644 --- a/testsuite/tests/annotations/should_fail/annfail10.stderr +++ b/testsuite/tests/annotations/should_fail/annfail10.stderr @@ -1,30 +1,25 @@ - -annfail10.hs:9:1: - No instance for (Data.Data.Data a0) arising from an annotation - The type variable ‘a0’ is ambiguous - Note: there are several potential instances: - instance (Data.Data.Data a, Data.Data.Data b) => - Data.Data.Data (Either a b) - -- Defined in ‘Data.Data’ - instance Data.Data.Data Data.Monoid.All -- Defined in ‘Data.Data’ - instance (Data.Data.Data (f a), Data.Data.Data a, - Data.Typeable.Internal.Typeable f) => - Data.Data.Data (Data.Monoid.Alt f a) - -- Defined in ‘Data.Data’ - ...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 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 #-} +
+annfail10.hs:9:1:
+ No instance for (Data a0) arising from an annotation
+ The type variable ‘a0’ is ambiguous
+ Note: there are several potential instances:
+ instance (Data a, Data b) => Data (Either a b)
+ -- Defined in ‘Data.Data’
+ instance Data All -- Defined in ‘Data.Data’
+ instance (Data (f a), Data a, Typeable f) => Data (Alt f a)
+ -- Defined in ‘Data.Data’
+ ...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 forall (k :: BOX) (f :: k -> *) (a :: k).
+ Num (f a) =>
+ Num (Alt f a)
+ -- Defined in ‘Data.Monoid’
+ instance Num a => Num (Product a) -- Defined in ‘Data.Monoid’
+ instance Num a => Num (Sum a) -- Defined in ‘Data.Monoid’
+ ...plus 14 others
+ In the annotation: {-# ANN f 1 #-}
|