Raft of wibbles after refactoring type-class constraint errors

...in response to Trac #5858

1 files changed, 5 insertions, 5 deletions

diff --git a/testsuite/tests/typecheck/should_fail/tcfail008.stderr b/testsuite/tests/typecheck/should_fail/tcfail008.stderr
index a6d97c71af..b50f77e05e 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail008.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail008.stderr
@@ -7,6 +7,11 @@ tcfail008.hs:3:5:
       o :: [a0] (bound at tcfail008.hs:3:1)
     Probable fix: give these definition(s) an explicit type signature
                   or use -XNoMonomorphismRestriction
+    Note: there are several potential instances:
+      instance Num Double -- Defined in `GHC.Float'
+      instance Num Float -- Defined in `GHC.Float'
+      instance Num Int -- Defined in `GHC.Num'
+      ...plus one other
     In the first argument of `(:)', namely `1'
     In the expression: 1 : 2
     In an equation for `o': o = 1 : 2
@@ -14,11 +19,6 @@ tcfail008.hs:3:5:
 tcfail008.hs:3:7:
     No instance for (Num [a0])
       arising from the literal `2'
-    The type variable `a0' is ambiguous
-    Possible cause: the monomorphism restriction applied to the following:
-      o :: [a0] (bound at tcfail008.hs:3:1)
-    Probable fix: give these definition(s) an explicit type signature
-                  or use -XNoMonomorphismRestriction
     Possible fix: add an instance declaration for (Num [a0])
     In the second argument of `(:)', namely `2'
     In the expression: 1 : 2