Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail008.stderr
index c633a15..d84c3b9 100644 (file)
@@ -1,19 +1,20 @@
 
-tcfail008.hs:3:5:
-    No instance for (Num a0) arising from the literal ‘1’
-    The type variable ‘a0’ is ambiguous
+tcfail008.hs:3:5: error:
+    Ambiguous type variable ‘a0’ arising from the literal ‘1’
+    prevents the constraint ‘(Num a0)’ from being solved.
     Relevant bindings include o :: [a0] (bound at tcfail008.hs:3:1)
-    Note: there are several potential instances:
+    Probable fix: use a type annotation to specify what ‘a0’ should be.
+    These potential instances exist:
+      instance Num Integer -- Defined in ‘GHC.Num’
       instance Num Double -- Defined in ‘GHC.Float’
       instance Num Float -- Defined in ‘GHC.Float’
-      instance Integral a => Num (GHC.Real.Ratio a)
-        -- Defined in ‘GHC.Real’
-      ...plus three others
+      ...plus two others
+      (use -fprint-potential-instances to see them all)
     In the first argument of ‘(:)’, namely ‘1’
     In the expression: 1 : 2
     In an equation for ‘o’: o = 1 : 2
 
-tcfail008.hs:3:7:
+tcfail008.hs:3:7: error:
     No instance for (Num [a0]) arising from the literal ‘2’
     In the second argument of ‘(:)’, namely ‘2’
     In the expression: 1 : 2