diff options
Diffstat (limited to 'testsuite/tests/annotations')
| -rw-r--r-- | testsuite/tests/annotations/should_fail/annfail10.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/annotations/should_fail/annfail10.stderr b/testsuite/tests/annotations/should_fail/annfail10.stderr index 1e77541499..5c6f71b486 100644 --- a/testsuite/tests/annotations/should_fail/annfail10.stderr +++ b/testsuite/tests/annotations/should_fail/annfail10.stderr @@ -18,7 +18,7 @@ annfail10.hs:9:11: error: prevents the constraint ‘(Num a0)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. These potential instances exist: - instance forall (k :: BOX) (f :: k -> *) (a :: k). + instance forall k (f :: k -> *) (a :: k). Num (f a) => Num (Alt f a) -- Defined in ‘Data.Monoid’ |