diff options
Diffstat (limited to 'testsuite/tests/annotations/should_fail/annfail10.stderr')
-rw-r--r-- | testsuite/tests/annotations/should_fail/annfail10.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail10.stderr b/testsuite/tests/annotations/should_fail/annfail10.stderr index 251f0c317c..3d55d4aed4 100644 --- a/testsuite/tests/annotations/should_fail/annfail10.stderr +++ b/testsuite/tests/annotations/should_fail/annfail10.stderr @@ -1,8 +1,8 @@ annfail10.hs:9:1: error: - • Ambiguous type variable ‘a0’ arising from an annotation - prevents the constraint ‘(Data.Data.Data a0)’ from being solved. - Probable fix: use a type annotation to specify what ‘a0’ should be. + • Ambiguous type variable ‘t0’ arising from an annotation + prevents the constraint ‘(Data.Data.Data t0)’ from being solved. + Probable fix: use a type annotation to specify what ‘t0’ should be. These potential instances exist: instance (Data.Data.Data a, Data.Data.Data b) => Data.Data.Data (Either a b) @@ -15,9 +15,9 @@ annfail10.hs:9:1: error: • In the annotation: {-# ANN f 1 #-} annfail10.hs:9:11: error: - • Ambiguous type variable ‘a0’ arising from the literal ‘1’ - prevents the constraint ‘(Num a0)’ from being solved. - Probable fix: use a type annotation to specify what ‘a0’ should be. + • Ambiguous type variable ‘t0’ arising from the literal ‘1’ + prevents the constraint ‘(Num t0)’ from being solved. + Probable fix: use a type annotation to specify what ‘t0’ should be. These potential instances exist: instance Num Integer -- Defined in ‘GHC.Num’ instance Num Double -- Defined in ‘GHC.Float’ |