Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail008.stderr
index 09c4c54..d84c3b9 100644 (file)
@@ -1,20 +1,21 @@
 
-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:
-      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
-    In the first argument of ‛(:)’, namely ‛1’
+    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’
+      ...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 â\80\9bo’: o = 1 : 2
+    In an equation for â\80\98o’: o = 1 : 2
 
-tcfail008.hs:3:7:
-    No instance for (Num [a0]) arising from the literal â\80\9b2’
-    In the second argument of â\80\9b(:)â\80\99, namely â\80\9b2’
+tcfail008.hs:3:7: error:
+    No instance for (Num [a0]) arising from the literal â\80\982’
+    In the second argument of â\80\98(:)â\80\99, namely â\80\982’
     In the expression: 1 : 2
-    In an equation for â\80\9bo’: o = 1 : 2
+    In an equation for â\80\98o’: o = 1 : 2